diff options
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 25cf5ee2..6b18c9f9 100644 --- a/lib/Core/ExecutionState.h +++ b/lib/Core/ExecutionState.h @@ -298,6 +298,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 */ |