DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Impl KLEE warning funcs

Browse Source
This commit is contained in:
Joe Ranweiler
2018-02-23 16:40:11 -08:00
parent 330f58b944
commit 9e3d1d1eb2
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/include/deepstate/Klee.h
View File

@@ -54,11 +54,13 @@ static unsigned klee_is_symbolic(uintptr_t n);
/* TODO(joe): Implement */
static void klee_assume(uintptr_t condition);
/* TODO(joe): Implement */
static void klee_warning(const char *message);
static void klee_warning(const char *message) {
DeepState_Log(DeepState_LogWarning, message);
}
/* TODO(joe): Implement */
static void klee_warning_once(const char *message);
static void klee_warning_once(const char *message) {
DeepState_Log(DeepState_LogWarning, message);
}
/* TODO(joe): Implement */
static void klee_prefer_cex(void *object, uintptr_t condition);