From 6160b3bf2f7bd073a10e3c27ddd7aab162b96b3a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20M=C3=B6sl?= <christian.moesl@live.at>
Date: Tue, 15 Jun 2021 12:50:59 +0200
Subject: [PATCH] fix(symbolic): condition when to optimistically prune the
 search space

---
 src/engine/symbolic_execution.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/engine/symbolic_execution.rs b/src/engine/symbolic_execution.rs
index c01e9bb0..aeb4f674 100644
--- a/src/engine/symbolic_execution.rs
+++ b/src/engine/symbolic_execution.rs
@@ -830,7 +830,7 @@ where
     fn should_execute_branch(&mut self) -> Result<(bool, &'static str), SymbolicExecutionError> {
         Ok(match self.execute_query(Query::Reachable)? {
             QueryResult::Sat(_) => (true, "reachable"),
-            QueryResult::Unknown if self.options.optimistically_prune_search_space => {
+            QueryResult::Unknown if !self.options.optimistically_prune_search_space => {
                 (true, "reachability unknown")
             }
             _ => (false, "unreachable"),