From 6b95aab503f9f1f1971b913859c60d35b5beadae Mon Sep 17 00:00:00 2001
From: Joe Ranweiler <joe@lemma.co>
Date: Fri, 23 Feb 2018 16:48:14 -0800
Subject: [PATCH] Impl `klee_silent_exit()`

---
 src/include/deepstate/Klee.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/include/deepstate/Klee.h b/src/include/deepstate/Klee.h
index 0cc069d..9baff4e 100644
--- a/src/include/deepstate/Klee.h
+++ b/src/include/deepstate/Klee.h
@@ -36,8 +36,9 @@ static int klee_range(int begin, int end, const char *name);
 /* TODO(joe): Implement */
 static int klee_int(const char *name);
 
-/* TODO(joe): Implement */
-DEEPSTATE_NORETURN static void klee_silent_exit(int status);
+DEEPSTATE_NORETURN static void klee_silent_exit(int status) {
+  exit(status);
+}
 
 /* TODO(joe): Implement */
 static size_t klee_get_obj_size(void *ptr);