From b2f49b6d8578e4df8d33933fbe5b6c951f9150f1 Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Thu, 24 Jun 2010 22:12:20 +0000 Subject: Implement klee_stack_trace function git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106799 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/klee.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'include') 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 -- cgit 1.4.1