diff --git a/src/main.c b/src/main.c
index c3f6cffee60fab48119a94b9cbc3a3c5d8662a8f..e71bd2c0a542ce69a4cb73db8710754db09274a2 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)
     {