Mark a test that uses --smt2 as needing the smt-backend

martin · martin · commit a49e08c8aa03 · 2021-07-27T17:29:16.000+01:00
diff --git a/regression/cbmc/issue_5952_soundness_bug_smt_encoding/test_short.desc b/regression/cbmc/issue_5952_soundness_bug_smt_encoding/test_short.desc
@@ -1,4 +1,4 @@
-CORE
+CORE smt-backend
 short.c
 --smt2
 ^EXIT=0$
