Fix bitwuzla gold

LeventErkok · Nov 29, 2023 · 7fd503a · 7fd503a
1 parent 5913478
commit 7fd503a
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/SBVTestSuite/GoldFiles/query_bitwuzla.gold b/SBVTestSuite/GoldFiles/query_bitwuzla.gold
@@ -1,4 +1,4 @@
-** Calling: bitwuzla --smt2 -m --output-format=smt2 --no-exit-codes --incremental
+** Calling: bitwuzla --produce-models
 [GOOD] ; Automatically generated by SBV. Do not edit.
 [GOOD] (set-option :print-success true)
 [GOOD] (set-option :global-declarations true)
@@ -55,7 +55,3 @@
 [RECV] ((s1 #b00000000000000000000000000000001))
 *** Solver   : Bitwuzla
 *** Exit code: ExitSuccess
-*** Std-out  : (
-             (define-fun s0 () (_ BitVec 32) #b00000000000000000000000000000001)
-             (define-fun s1 () (_ BitVec 32) #b00000000000000000000000000000001)
-           )