From dc9c353244af5839f9204ac7d9be6d24cbb7c0c1 Mon Sep 17 00:00:00 2001 From: Joe Ranweiler Date: Sat, 24 Feb 2018 14:22:51 -0800 Subject: [PATCH] Comment out unsupported `klee_is_symbolic` This takes a memory address as an argument, not a possibly-symbolic value (which we do support). We probably need to extend the DeepState API to support this robustly. --- src/include/deepstate/Klee.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/include/deepstate/Klee.h b/src/include/deepstate/Klee.h index 3c848d4..3f90341 100644 --- a/src/include/deepstate/Klee.h +++ b/src/include/deepstate/Klee.h @@ -55,8 +55,8 @@ static void klee_print_expr(const char *msg, ...) { /* TODO(joe): Implement */ static uintptr_t klee_choose(uintptr_t n); -/* TODO(joe): Implement */ -static unsigned klee_is_symbolic(uintptr_t n); +/* Unsupported. */ +/* static unsigned klee_is_symbolic(uintptr_t n); */ /* Unsupported. */ /* static void klee_assume(uintptr_t condition); */