DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Use short-lived preprocessor def

Browse Source
This commit is contained in:
Joe Ranweiler
2018-02-24 13:44:46 -08:00
parent 16ce8d6e00
commit a1aaeee8c8
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -19,8 +19,6 @@
#include <deepstate/DeepState.h> #include <deepstate/DeepState.h>
#define KLEE_GET_VALUE(suffix, type) type klee_get_value ## suffix(type expr)
DEEPSTATE_BEGIN_EXTERN_C DEEPSTATE_BEGIN_EXTERN_C
/* Unsupported. */ /* Unsupported. */
@@ -80,6 +78,8 @@ static void klee_posix_prefer_cex(void *object, uintptr_t condition) {
/* Unsupported. */ /* Unsupported. */
/* static void klee_mark_global(void *object); */ /* static void klee_mark_global(void *object); */
#define KLEE_GET_VALUE(suffix, type) type klee_get_value ## suffix(type val)
/* TODO(joe): Implement */ /* TODO(joe): Implement */
static KLEE_GET_VALUE(f, float); static KLEE_GET_VALUE(f, float);
@@ -98,6 +98,8 @@ static KLEE_GET_VALUE(_i32, int32_t);
/* TODO(joe): Implement */ /* TODO(joe): Implement */
static KLEE_GET_VALUE(_i64, int64_t); static KLEE_GET_VALUE(_i64, int64_t);
#undef KLEE_GET_VALUE
/* Unsupported. */ /* Unsupported. */
/* static void klee_check_memory_access(const void *address, size_t size); */ /* static void klee_check_memory_access(const void *address, size_t size); */