From 37321de9d86ff45049eec83a069a10d4836b06f0 Mon Sep 17 00:00:00 2001 From: lyxia Date: Sun, 25 Mar 2018 10:18:39 -0400 Subject: Implement klee_prefer_cex() and klee_abort() in Runtest and added corresponding tests --- runtime/Runtest/intrinsics.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'runtime/Runtest') 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, ...) { } -- cgit 1.4.1