From 5f1c1bb3df550fed18035d1647987a6895050a98 Mon Sep 17 00:00:00 2001 From: Mark Spanbroek Date: Wed, 14 Feb 2024 13:14:27 +0100 Subject: [PATCH] Add "prover" cli command to tests --- tests/integration/testcli.nim | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tests/integration/testcli.nim b/tests/integration/testcli.nim index 94cf93b1..c25ce5d7 100644 --- a/tests/integration/testcli.nim +++ b/tests/integration/testcli.nim @@ -16,14 +16,16 @@ suite "Command line interface": test "complains when persistence is enabled without accessible wasm file": let node = startNode(@[ "persistence", + "prover", "--circom-r1cs=tests/circuits/fixtures/proof_main.r1cs" ]) - node.waitUntilOutput("wasm file not readable, doesn't exist or wrong extension (.wasm)") + node.waitUntilOutput("Circom wasm file not accessible") node.stop() test "complains when persistence is enabled without accessible zkey file": let node = startNode(@[ "persistence", + "prover", "--circom-r1cs=tests/circuits/fixtures/proof_main.r1cs", "--circom-wasm=tests/circuits/fixtures/proof_main.wasm" ]) @@ -33,6 +35,7 @@ suite "Command line interface": test "complains when persistence is enabled without ethereum account": let node = startNode(@[ "persistence", + "prover", "--circom-r1cs=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.r1cs", "--circom-wasm=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.wasm", "--circom-zkey=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.zkey" @@ -45,6 +48,7 @@ suite "Command line interface": discard unsafeKeyFile.writeFile(key, 0o666) let node = startNode(@[ "persistence", + "prover", "--circom-r1cs=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.r1cs", "--circom-wasm=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.wasm", "--circom-zkey=vendor/codex-contracts-eth/verifier/networks/hardhat/proof_main.zkey",