diff options
| author | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2023-05-11 17:41:34 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2024-03-05 17:26:20 +0900 |
| commit | 6bf8f3676f7048c19f849435fdd7dbd43bd91301 (patch) | |
| tree | cd7efcf628bd326b317dbe7a7c5a33de7dd19175 /lib/Core/ExecutionState.h | |
| parent | f33120622aa2d85eb5aece15cabe53319b2ab166 (diff) | |
| download | klee-6bf8f3676f7048c19f849435fdd7dbd43bd91301.tar.gz | |
Avoid resolving combined SMT formulae
Diffstat (limited to 'lib/Core/ExecutionState.h')
| -rw-r--r-- | lib/Core/ExecutionState.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Core/ExecutionState.h b/lib/Core/ExecutionState.h index 1a3f42e7..93ed8214 100644 --- a/lib/Core/ExecutionState.h +++ b/lib/Core/ExecutionState.h @@ -305,6 +305,12 @@ struct ExecutionStateIDCompare { return a->getID() < b->getID(); } }; + +struct ExecutionStateFormulaCompare { + bool operator()(const ExecutionState *a, const ExecutionState *b) const { + return a->formula < b->formula; + } +}; } #endif /* KLEE_EXECUTIONSTATE_H */ |