about summary refs log tree commit diff homepage
path: root/include
diff options
context:
space:
mode:
Diffstat (limited to 'include')
-rw-r--r--include/klee/klee.h5
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