DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Impl klee_silent_exit()

Browse Source
This commit is contained in:
Joe Ranweiler
2018-02-23 16:48:14 -08:00
parent 9e3d1d1eb2
commit 6b95aab503
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/include/deepstate/Klee.h
+3 -2
View File
@@ -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);