diff options
| author | Taras Bereznyak <bereznyak.taras1@huawei.com> | 2021-11-04 13:33:01 +0300 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-11-20 12:34:37 +0100 |
| commit | 0379144709c2bc47b6fc4bc42c5fe00a24d01a0d (patch) | |
| tree | 375dfb5b52d24bb4aa1aecb98d708c6d82379ae6 /lib/Core/ExecutionState.cpp | |
| parent | f4c4f164a2d9132fcc53c0ce44ea8c5379d4d93e (diff) | |
| download | klee-0379144709c2bc47b6fc4bc42c5fe00a24d01a0d.tar.gz | |
Fixed fail with preferCex, removed relation from first argument
Diffstat (limited to 'lib/Core/ExecutionState.cpp')
| -rw-r--r-- | lib/Core/ExecutionState.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
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); +} |