github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

rename binary to zokrates

Browse source
This commit is contained in:
schaeff 2018-08-08 18:18:33 +02:00
parent f2e727cc03
commit 90d016136a
2 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zokrates_cli/Cargo.toml
View file

@ -21,5 +21,5 @@ assert_cli = "0.5"
serde_json = "1.0"
[[bin]]
name = "zokrates-cli"
name = "zokrates"
path = "src/bin.rs"

10
zokrates_cli/tests/integration.rs
View file

@ -65,7 +65,7 @@ mod integration {
fs::create_dir(test_case_path).unwrap();
// prepare compile arguments
let mut compile = vec!["../target/debug/zokrates-cli", "compile", "-i", program_path.to_str().unwrap(), "-o", flattened_path.to_str().unwrap()];
let mut compile = vec!["../target/debug/zokrates", "compile", "-i", program_path.to_str().unwrap(), "-o", flattened_path.to_str().unwrap()];
if program_name.contains("sha_libsnark") {
compile.push("--gadgets");
@ -84,7 +84,7 @@ mod integration {
#[cfg(not(feature = "nolibsnark"))]
{
// SETUP
assert_cli::Assert::command(&["../target/debug/zokrates-cli", "setup",
assert_cli::Assert::command(&["../target/debug/zokrates", "setup",
"-i", flattened_path.to_str().unwrap(),
"-p", proving_key_path.to_str().unwrap(),
"-v", verification_key_path.to_str().unwrap(),
@ -93,7 +93,7 @@ mod integration {
.unwrap();
// EXPORT-VERIFIER
assert_cli::Assert::command(&["../target/debug/zokrates-cli", "export-verifier",
assert_cli::Assert::command(&["../target/debug/zokrates", "export-verifier",
"-i", verification_key_path.to_str().unwrap(),
"-o", verification_contract_path.to_str().unwrap()])
.succeeds()
@ -107,7 +107,7 @@ mod integration {
_ => panic!(format!("Cannot read arguments. Check {}", arguments_path.to_str().unwrap()))
}).collect();
let mut compute = vec!["../target/debug/zokrates-cli", "compute-witness",
let mut compute = vec!["../target/debug/zokrates", "compute-witness",
"-i", flattened_path.to_str().unwrap(),
"-o", witness_path.to_str().unwrap(),
"-a"];
@ -134,7 +134,7 @@ mod integration {
assert!(witness.contains(line), "Witness generation failed for {}\n\nLine \"{}\" not found in witness", program_path.to_str().unwrap(), line);
}
// GENERATE-PROOF
assert_cli::Assert::command(&["../target/debug/zokrates-cli", "generate-proof",
assert_cli::Assert::command(&["../target/debug/zokrates", "generate-proof",
"-w", witness_path.to_str().unwrap(),
"-p", proving_key_path.to_str().unwrap(),
"-i", variable_information_path.to_str().unwrap()])