From f7c3389c47bebd785b64bdcd25ce4f71c3679f60 Mon Sep 17 00:00:00 2001
From: Maxim Menshikov <maxim.menshikov@iopsys.eu>
Date: Mon, 31 Oct 2022 00:42:47 +0400
Subject: [PATCH] symbolic execution: exit on error
---
symbolic_execution.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/symbolic_execution.yml b/symbolic_execution.yml
index e7c6be6..5377bd4 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
--
GitLab