diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-05-15 14:40:53 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-01 15:22:29 +0100 |
| commit | 79c9c106688c56eb1042750c03d9a68190e61ba5 (patch) | |
| tree | 4da3ff4d7a6ff0ea8887d727f8a029109c9ca493 /include/klee/klee.h | |
| parent | 680b42e6920e0e26372960b5cbe35f072b1d6e0c (diff) | |
| download | klee-79c9c106688c56eb1042750c03d9a68190e61ba5.tar.gz | |
[include] Add missing functions in klee.h
Diffstat (limited to 'include/klee/klee.h')
| -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 |