diff options
author | Frank Busse <bb0xfb@gmail.com> | 2021-12-15 14:35:31 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-12-23 17:43:13 +0000 |
commit | 799ab806509407f72249e6ef49fc44b185a3e81d (patch) | |
tree | c95a60e940e687371f379c03447f6d5323218c18 /lib/Core/MergeHandler.cpp | |
parent | a38ee31b70101955f7360f1e077261daf43c3378 (diff) | |
download | klee-799ab806509407f72249e6ef49fc44b185a3e81d.tar.gz |
Introduce termination categories
Track all path terminations: esp. for debugging or visualising a persistent process tree (with or without full MoKlee integration) it is helpful to know the exact reason (StateTerminationType) why a path terminated.
Diffstat (limited to 'lib/Core/MergeHandler.cpp')
-rw-r--r-- | lib/Core/MergeHandler.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/MergeHandler.cpp b/lib/Core/MergeHandler.cpp index 578b1b51..00677541 100644 --- a/lib/Core/MergeHandler.cpp +++ b/lib/Core/MergeHandler.cpp @@ -106,7 +106,7 @@ void MergeHandler::addClosedState(ExecutionState *es, for (auto& mState: cpv) { if (mState->merge(*es)) { - executor->terminateState(*es); + executor->terminateStateEarly(*es, "merged state.", StateTerminationType::Merge); executor->mergingSearcher->inCloseMerge.erase(es); mergedSuccessful = true; break; |