diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2020-06-16 20:07:06 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-06-24 13:48:18 +0100 |
| commit | aef3ecea2868ea08fafe34632c395df29a99f633 (patch) | |
| tree | 6934e350882741093f1532e2f11d7c419de6219a /lib/Core/Executor.h | |
| parent | a36f7a20afaf6e477846cf72814ebe2c346d87ec (diff) | |
| download | klee-aef3ecea2868ea08fafe34632c395df29a99f633.tar.gz | |
add ExecutionState IDs
* add getID()/setID() * use ExecutionStateIDCompare in Executor::states set * output state id in .err files
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index 2cb97d66..4ddbc98e 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -120,7 +120,7 @@ private: ExternalDispatcher *externalDispatcher; TimingSolver *solver; MemoryManager *memory; - std::set<ExecutionState*> states; + std::set<ExecutionState*, ExecutionStateIDCompare> states; StatsTracker *statsTracker; TreeStreamWriter *pathWriter, *symPathWriter; SpecialFunctionHandler *specialFunctionHandler; |