From 871fef8da228270f2d57fc76e4d93bb082f4d046 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Mon, 26 Mar 2018 16:33:23 +0100 Subject: Ensured program reliably has 3 paths to be explored, and removed unnecessary options. Make klee_abort() call abort() in replay, and removed trivial test which cannot be easily integrated into the test suite. --- runtime/Runtest/intrinsics.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'runtime/Runtest/intrinsics.c') diff --git a/runtime/Runtest/intrinsics.c b/runtime/Runtest/intrinsics.c index 1e87d947..ab441afc 100644 --- a/runtime/Runtest/intrinsics.c +++ b/runtime/Runtest/intrinsics.c @@ -175,7 +175,7 @@ int klee_range(int begin, int end, const char* name) { void klee_prefer_cex(void *object, uintptr_t condition) { } void klee_abort() { - exit(1); + abort(); } /* not sure we should even define. is for debugging. */ -- cgit 1.4.1