diff options
| author | Lukas Wölfer <lukas.woelfer@rwth-aachen.de> | 2018-05-30 16:00:21 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-06-11 11:08:08 +0100 |
| commit | d4787aa0d8e41a886004ab195a49bfcfce30cede (patch) | |
| tree | ead5e16219046c05879e0332ed75ccaaff17ce07 /include | |
| parent | 843e9be8fc10c6ffb30218c5a826aab192a31955 (diff) | |
| download | klee-d4787aa0d8e41a886004ab195a49bfcfce30cede.tar.gz | |
Fixed memory leak from Executor::inCloseMerge, fixes #883
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/MergeHandler.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/include/klee/MergeHandler.h b/include/klee/MergeHandler.h index 75f4a3d1..213264e6 100644 --- a/include/klee/MergeHandler.h +++ b/include/klee/MergeHandler.h @@ -133,9 +133,6 @@ public: /// @brief Remove state from the 'openStates' vector void removeOpenState(ExecutionState *es); - /// @brief Remove state from the 'inCloseMerge' set in the executor - void removeFromCloseMergeSet(ExecutionState *es); - /// @brief True, if any states have run into 'klee_close_merge()' and have /// not been released yet bool hasMergedStates(); |