From f9f5b1eabe98669b5ae472cc63784980e3712c6f Mon Sep 17 00:00:00 2001 From: Aaron Tomb Date: Tue, 22 Jun 2021 12:50:29 -0700 Subject: [PATCH] Remove one more Yices from saw-remote-api tests --- .../python/tests/saw_low_level/test_salsa20_low_level.py | 2 +- 1 file changed, 1 insertion(+), 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 index ac0ddd10c6..60fec5d933 100755 --- 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()