diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/klee.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/include/klee/klee.h b/include/klee/klee.h index 2ae45596..032e5243 100644 --- a/include/klee/klee.h +++ b/include/klee/klee.h @@ -148,6 +148,11 @@ extern "C" { /* Print stack trace. */ void klee_stack_trace(void); + /* Print range for given argument and tagged with name */ + void klee_print_range(const char * name, int arg ); + + /* Merge current states together if possible */ + void klee_merge(); #ifdef __cplusplus } #endif |