update test_prove_adder to use --id argument to skip new properties

runtimeverification · Nov 12, 2024 · 8a11b75 · 8a11b75
1 parent 1d83403
commit 8a11b75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tests/integration/test_integration.py b/src/tests/integration/test_integration.py
@@ -51,7 +51,7 @@ def test_prove_adder(tmp_path: Path, symbolic_kasmer: Kasmer) -> None:
     contract_wasm = symbolic_kasmer.build_soroban_contract(SOROBAN_CONTRACTS_DIR / 'test_adder', tmp_path)
 
     # Then
-    symbolic_kasmer.deploy_and_prove(contract_wasm, (), tmp_path)
+    symbolic_kasmer.deploy_and_prove(contract_wasm, (), 'test_add', tmp_path)
 
 
 def test_bindings(tmp_path: Path, concrete_kasmer: Kasmer) -> None: