Merge pull request #726 from diffblue/bump-cbmc3

tautschnig · web-flow · commit 870c53774470 · 2024-09-27T14:33:31.000+02:00
bump CBMC dependency
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit d2b4455a109383562735cfb8b52ed8a6d2b6e197
+Subproject commit a209b44e1f38144b707e6d1eeb3abb35c40143ab
diff --git a/regression/ebmc/random-traces/boolean1.desc b/regression/ebmc/random-traces/boolean1.desc
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 boolean1.v
 --random-traces --trace-steps 0 --traces 2
 ^\*\*\* Trace 1$
diff --git a/regression/ebmc/random-traces/bv1.desc b/regression/ebmc/random-traces/bv1.desc
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 bv1.v
 --random-traces --trace-steps 1 --traces 1
 ^Transition system state 0$
diff --git a/regression/ebmc/random-traces/counter_with_initial_value.desc b/regression/ebmc/random-traces/counter_with_initial_value.desc
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 counter_with_initial_value.v
 --random-traces --trace-steps 10 --waveform --traces 2
 ^\*\*\* Trace 1$
diff --git a/regression/ebmc/random-traces/long_trace1.desc b/regression/ebmc/random-traces/long_trace1.desc
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 long_trace1.v
 --random-traces --traces 1 --trace-steps 1000
 ^Transition system state 0$
diff --git a/regression/ebmc/random-traces/long_trace1.random-waveform.desc b/regression/ebmc/random-traces/long_trace1.random-waveform.desc
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 long_trace1.v
 --random-waveform
 ^                0  1  2  3  4  5  6  7  8  9 10$
diff --git a/regression/ebmc/random-traces/with_submodule.desc b/regression/ebmc/random-traces/with_submodule.desc
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 with_submodule.v
 --random-traces --trace-steps 0 --traces 2
 ^\*\*\* Trace 1$
diff --git a/regression/ebmc/smv/smv3.desc b/regression/ebmc/smv/smv3.desc
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 smv3.smv
 --module main --bound 2 --k-induction
 ^EXIT=0$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE broken-smt-backend`
	`1`	`+CORE`
`2`	`2`	`boolean1.v`
`3`	`3`	`--random-traces --trace-steps 0 --traces 2`
`4`	`4`	`^\\\* Trace 1$`