From e37d3d5fc067bf1fd2d3c569667b1d740b65d1a3 Mon Sep 17 00:00:00 2001
From: thk123 <thomas@diffblue.com>
Date: Fri, 8 Sep 2017 12:46:28 +0100
Subject: [PATCH] Disable failing test in the symex directory

---
 regression/symex/show-trace1/test.desc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/regression/symex/show-trace1/test.desc b/regression/symex/show-trace1/test.desc
index 930f344a07a..23a9f62e3ae 100644
--- 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
\ No newline at end of file