Remove one more Yices from saw-remote-api tests

GaloisInc · Jun 22, 2021 · 9656836 · 9656836
1 parent 3845a29
commit 9656836
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/saw-remote-api/python/tests/saw_low_level/test_salsa20_low_level.py b/saw-remote-api/python/tests/saw_low_level/test_salsa20_low_level.py
@@ -206,7 +206,7 @@ def crypt_contract(size : int):
                 "return val": zero
             }
 
-        prover = ProofScript([yices([])]).to_json()
+        prover = ProofScript([z3([])]).to_json()
 
         c.llvm_verify('m', 'rotl', [], False, rotl_contract, prover, 'rotl_ov').result()
         c.llvm_verify('m', 's20_quarterround', ['rotl_ov'], False, qr_contract, prover, 'qr_ov').result()