From 79c9c106688c56eb1042750c03d9a68190e61ba5 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Thu, 15 May 2014 14:40:53 +0200
Subject: [include] Add missing functions in klee.h

---
 include/klee/klee.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'include')

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
-- 
cgit 1.4.1