From 9e3d1d1eb252b498a7da5a2fe210bf934f902bfa Mon Sep 17 00:00:00 2001 From: Joe Ranweiler Date: Fri, 23 Feb 2018 16:40:11 -0800 Subject: [PATCH] Impl KLEE warning funcs --- src/include/deepstate/Klee.h | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/include/deepstate/Klee.h b/src/include/deepstate/Klee.h index 982391f..0cc069d 100644 --- a/src/include/deepstate/Klee.h +++ b/src/include/deepstate/Klee.h @@ -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);