Add decl, impl for klee_abort()

2018-02-24 13:22:42 -08:00
parent 27b2a490ee
commit 16ce8d6e00
1 changed files with 4 additions and 0 deletions
--- 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); */