Merge pull request #6181 from martin-cs/fix/tag-z3-regression-tests

martin-cs · web-flow · commit dfe252f90137 · 2021-06-15T23:44:38.000+01:00
Add the smt-backend tags to tests that use --z3
diff --git a/regression/cbmc/struct15/test.desc b/regression/cbmc/struct15/test.desc
@@ -1,4 +1,4 @@
-CORE
+CORE smt-backend
 main.c
 --trace --z3
 ^EXIT=0$
diff --git a/regression/cbmc/z3/invalid.desc b/regression/cbmc/z3/invalid.desc
@@ -1,4 +1,4 @@
-CORE
+CORE smt-backend
 invalid.c
 --trace --smt2 --z3
 ^EXIT=10$
diff --git a/regression/cbmc/z3/valid.desc b/regression/cbmc/z3/valid.desc
@@ -1,4 +1,4 @@
-CORE
+CORE smt-backend
 valid.c
 --trace --smt2 --z3
 ^EXIT=0$
