fix(symbolic): condition when to optimistically prune the search space

cksystemsgroup · Jun 15, 2021 · 6160b3b · 6160b3b
1 parent ba0e362
commit 6160b3b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"),