diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/klee.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/klee/klee.h b/include/klee/klee.h index 3d2d1782..aa47ce22 100644 --- a/include/klee/klee.h +++ b/include/klee/klee.h @@ -127,6 +127,9 @@ extern "C" { may not always work. */ void klee_alias_function(const char* fn_name, const char* new_fn_name); + /* Print stack trace. */ + void klee_stack_trace(void); + #ifdef __cplusplus } #endif |