From 16ce8d6e008f006248b0da97e8bae7f832062fb5 Mon Sep 17 00:00:00 2001 From: Joe Ranweiler Date: Sat, 24 Feb 2018 13:22:42 -0800 Subject: [PATCH] Add decl, impl for `klee_abort()` --- src/include/deepstate/Klee.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/include/deepstate/Klee.h b/src/include/deepstate/Klee.h index bc29ebd..d65a021 100644 --- a/src/include/deepstate/Klee.h +++ b/src/include/deepstate/Klee.h @@ -40,6 +40,10 @@ DEEPSTATE_NORETURN static void klee_silent_exit(int status) { exit(status); } +DEEPSTATE_NORETURN static void klee_abort(void) { + abort(); +} + /* Unsupported. */ /* static size_t klee_get_obj_size(void *ptr); */