about summary refs log tree commit diff homepage
path: root/include
diff options
context:
space:
mode:
authorMartin Nowack <martin@se.inf.tu-dresden.de>2014-05-15 14:40:53 +0200
committerCristian Cadar <c.cadar@imperial.ac.uk>2015-04-01 15:22:29 +0100
commit79c9c106688c56eb1042750c03d9a68190e61ba5 (patch)
tree4da3ff4d7a6ff0ea8887d727f8a029109c9ca493 /include
parent680b42e6920e0e26372960b5cbe35f072b1d6e0c (diff)
downloadklee-79c9c106688c56eb1042750c03d9a68190e61ba5.tar.gz
[include] Add missing functions in klee.h
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