diff options
Diffstat (limited to 'lib/Core/SpecialFunctionHandler.cpp')
| -rw-r--r-- | lib/Core/SpecialFunctionHandler.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp index 1b96d5f1..d3a86aac 100644 --- a/lib/Core/SpecialFunctionHandler.cpp +++ b/lib/Core/SpecialFunctionHandler.cpp @@ -80,6 +80,7 @@ HandlerInfo handlerInfo[] = { add("klee_print_expr", handlePrintExpr, false), add("klee_print_range", handlePrintRange, false), add("klee_set_forking", handleSetForking, false), + add("klee_stack_trace", handleStackTrace, false), add("klee_warning", handleWarning, false), add("klee_warning_once", handleWarningOnce, false), add("klee_alias_function", handleAliasFunction, false), @@ -428,6 +429,12 @@ void SpecialFunctionHandler::handleSetForking(ExecutionState &state, } } +void SpecialFunctionHandler::handleStackTrace(ExecutionState &state, + KInstruction *target, + std::vector<ref<Expr> > &arguments) { + state.dumpStack(std::cout); +} + void SpecialFunctionHandler::handleWarning(ExecutionState &state, KInstruction *target, std::vector<ref<Expr> > &arguments) { |