bugfix

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)
     {