Merge pull request #6103 from tautschnig/fixed-smt-backend

Remove broken-smt-backend tags where tests currently pass

Author: kroening

regression/cbmc/Array_operations1/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 
 ^EXIT=10$

regression/cbmc/Float-equality1/test_no_equality.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 
 ^EXIT=0$

regression/cbmc/array-cell-sensitivity7/test_execution.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 test.c
 
 ^VERIFICATION FAILED$

regression/cbmc/array-cell-sensitivity8/test_execution.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 test.c
 
 ^VERIFICATION FAILED$

regression/cbmc/byte_update14/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 test.c
 
 ^VERIFICATION FAILED$

regression/cbmc/compact-trace/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 --compact-trace
 activate-multi-line-match

regression/cbmc/gcc_vector3/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 
 ^EXIT=0$

regression/cbmc/json-interface1/test_wrong_flag.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 --json-interface
 < test_wrong_flag.json
 ^EXIT=6$

regression/cbmc/json-interface1/test_wrong_option.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 --json-interface
 < test_wrong_option.json
 ^EXIT=6$

regression/cbmc/null6/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 
 ^EXIT=10$

regression/cbmc/pointer-primitive-check-01/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 --pointer-primitive-check
 ^EXIT=10$

regression/cbmc/pointer-primitive-check-04/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 --pointer-primitive-check
 ^EXIT=10$

regression/cbmc/stack-trace/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 --stack-trace
 activate-multi-line-match

regression/cbmc/union15/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 
 ^EXIT=0$

regression/cbmc/union6/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 --little-endian
 ^EXIT=0$

regression/cbmc/union7/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 --big-endian
 ^EXIT=0$

regression/cbmc/va_list2/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 
 ^EXIT=0$

regression/cbmc/variable-access-to-constant-array/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 
 ^EXIT=10$

regression/cbmc/void_pointer4/test.desc

@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE
 main.c
 
 ^EXIT=10$