From 27f3bf04b53a96f101633037cedda014d759594f Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Thu, 24 Jun 2010 22:12:10 +0000 Subject: Added ExecutionState::dumpStack function for inspecting the status of the stack git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106798 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/ExecutionState.h | 1 + 1 file changed, 1 insertion(+) (limited to 'include') diff --git a/include/klee/ExecutionState.h b/include/klee/ExecutionState.h index 09999110..c119edd3 100644 --- a/include/klee/ExecutionState.h +++ b/include/klee/ExecutionState.h @@ -134,6 +134,7 @@ public: } bool merge(const ExecutionState &b); + void dumpStack(std::ostream &out) const; }; } -- cgit 1.4.1