diff --git a/symbolic_execution.yml b/symbolic_execution.yml
index e7c6be6436bd4b3b30ea0c6bfcaa4f503e8386f3..5377bd41e55cce696eaf2738bba82207866f92da 100644
--- a/symbolic_execution.yml
+++ b/symbolic_execution.yml
@@ -16,7 +16,7 @@ run_symbolic_execution:
         cat $file >> klee_test.c
       done
     - clang -emit-llvm -g -o0 -c klee_test.c -o test.bc
-    - klee --libc=uclibc --posix-runtime test.bc
+    - klee --exit-on-error --libc=uclibc --posix-runtime test.bc
     - clang klee_test.c -DSYMBOLIC_EXECUTION -lkleeRuntest -L /home/klee/klee_build/lib -o klee_runner
     - |+
       for file in `ls klee-out-0/*.ktest` ; do