symbolic execution: exit on error

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