From 1e107881d7d02e1d834d0acc5507f28c95d99588 Mon Sep 17 00:00:00 2001
From: pln <Per Lindgren>
Date: Mon, 6 Mar 2017 14:11:48 +0000
Subject: [PATCH] bugfix

---
 src/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index c3f6cff..e71bd2c 100644
--- a/src/main.c
+++ b/src/main.c
@@ -116,7 +116,7 @@ int main()
 
     klee_make_symbolic(&state, sizeof(state), "state");
 
-    klee_assume((-10 < state) && (state < 10));
+    //klee_assume((-10 < state) && (state < 10));
 
     switch (job)
     {
-- 
GitLab