From 0379144709c2bc47b6fc4bc42c5fe00a24d01a0d Mon Sep 17 00:00:00 2001
From: Taras Bereznyak <bereznyak.taras1@huawei.com>
Date: Thu, 4 Nov 2021 13:33:01 +0300
Subject: Fixed fail with preferCex, removed relation from first argument

---
 lib/Core/ExecutionState.cpp | 5 +++++
 1 file changed, 5 insertions(+)

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

diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp
index 47a3b3c6..2f585f96 100644
--- a/lib/Core/ExecutionState.cpp
+++ b/lib/Core/ExecutionState.cpp
@@ -103,6 +103,7 @@ ExecutionState::ExecutionState(const ExecutionState& state):
     symPathOS(state.symPathOS),
     coveredLines(state.coveredLines),
     symbolics(state.symbolics),
+    cexPreferences(state.cexPreferences),
     arrayNames(state.arrayNames),
     openMergeStack(state.openMergeStack),
     steppedInstructions(state.steppedInstructions),
@@ -358,3 +359,7 @@ void ExecutionState::addConstraint(ref<Expr> e) {
   ConstraintManager c(constraints);
   c.addConstraint(e);
 }
+
+void ExecutionState::addCexPreference(const ref<Expr> &cond) {
+  cexPreferences = cexPreferences.insert(cond);
+}
-- 
cgit 1.4.1