Enable incremental SMT2 solving regression tests on Windows

thomasspriggs · thomasspriggs · commit 4b89ec22bb39 · 2022-01-25T14:31:37.000Z
diff --git a/regression/cbmc-incr-smt2/nondeterministic-int-assert/control_flow.desc b/regression/cbmc-incr-smt2/nondeterministic-int-assert/control_flow.desc
@@ -1,4 +1,4 @@
-CORE winbug
+CORE
 control_flow.c
 --incremental-smt2-solver 'z3 --smt2 -in' --verbosity 10
 Passing problem to incremental SMT2 solving via "z3 --smt2 -in"
diff --git a/regression/cbmc-incr-smt2/nondeterministic-int-assert/incremental_solver_called.desc b/regression/cbmc-incr-smt2/nondeterministic-int-assert/incremental_solver_called.desc
@@ -1,4 +1,4 @@
-CORE winbug
+CORE
 test.c
 --incremental-smt2-solver 'z3 --smt2 -in' --verbosity 10
 Passing problem to incremental SMT2 solving via "z3 --smt2 -in"
diff --git a/regression/cbmc-incr-smt2/nondeterministic-int-assert/trace.desc b/regression/cbmc-incr-smt2/nondeterministic-int-assert/trace.desc
@@ -1,4 +1,4 @@
-CORE winbug
+CORE
 trace.c
 --incremental-smt2-solver 'z3 --smt2 -in' --trace
 Passing problem to incremental SMT2 solving via "z3 --smt2 -in"
diff --git a/regression/cbmc-incr-smt2/nondeterministic-int-assert/valid_unsat.desc b/regression/cbmc-incr-smt2/nondeterministic-int-assert/valid_unsat.desc
@@ -1,4 +1,4 @@
-CORE winbug
+CORE
 valid_unsat.c
 --incremental-smt2-solver 'z3 --smt2 -in' --verbosity 10
 Passing problem to incremental SMT2 solving via "z3 --smt2 -in"

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE winbug`
	`1`	`+CORE`
`2`	`2`	`control_flow.c`
`3`	`3`	`--incremental-smt2-solver 'z3 --smt2 -in' --verbosity 10`
`4`	`4`	`Passing problem to incremental SMT2 solving via "z3 --smt2 -in"`