From 6bf8f3676f7048c19f849435fdd7dbd43bd91301 Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <mcsinyx@disroot.org>
Date: Thu, 11 May 2023 17:41:34 +0900
Subject: Avoid resolving combined SMT formulae

---
 lib/Core/ExecutionState.h | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib/Core/ExecutionState.h')

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 */
-- 
cgit 1.4.1