Disable failing test in the symex directory

smowton · Sep 13, 2017 · e37d3d5 · e37d3d5
1 parent 15b89fc
commit e37d3d5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/regression/symex/show-trace1/test.desc b/regression/symex/show-trace1/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 --trace
 ^EXIT=10$
@@ -9,3 +9,5 @@ main.c
 ^  k=6 .*$
 --
 ^warning: ignoring
+--
+diffblue/cbmc#1361