about summary refs log tree commit diff homepage
path: root/runtime
diff options
context:
space:
mode:
authorlyxia <lysxia@gmail.com>2018-03-25 10:18:39 -0400
committerMartinNowack <martin.nowack@gmail.com>2018-05-01 21:23:45 +0200
commit37321de9d86ff45049eec83a069a10d4836b06f0 (patch)
tree749395a5ec1d94f6a5d126c22627582664514646 /runtime
parent76e4240f6e17ab1f17200c603cf827b2bb28458d (diff)
downloadklee-37321de9d86ff45049eec83a069a10d4836b06f0.tar.gz
Implement klee_prefer_cex() and klee_abort() in Runtest and added corresponding tests
Diffstat (limited to 'runtime')
-rw-r--r--runtime/Runtest/intrinsics.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/runtime/Runtest/intrinsics.c b/runtime/Runtest/intrinsics.c
index 4d785ee2..1e87d947 100644
--- a/runtime/Runtest/intrinsics.c
+++ b/runtime/Runtest/intrinsics.c
@@ -172,6 +172,12 @@ int klee_range(int begin, int end, const char* name) {
   return x;
 }
 
+void klee_prefer_cex(void *object, uintptr_t condition) { }
+
+void klee_abort() {
+  exit(1);
+}
+
 /* not sure we should even define.  is for debugging. */
 void klee_print_expr(const char *msg, ...) { }