Missing not

lisa-analyzer · Jun 12, 2024 · fa4e8a2 · fa4e8a2
1 parent d562d6c
commit fa4e8a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/it/unipr/checker/JumpSolver.java b/src/main/java/it/unipr/checker/JumpSolver.java
@@ -115,7 +115,7 @@ public void afterExecution(
 
 			for (Statement node : this.cfgToAnalyze.getAllJumps()) {
 				if (cfgToAnalyze.getAllPushedJumps().contains(node)
-						|| this.cfgToAnalyze.reachableFrom(entryPoint, node))
+						|| !this.cfgToAnalyze.reachableFrom(entryPoint, node))
 					continue;
 
 				for (AnalyzedCFG<SimpleAbstractState<MonolithicHeap, EVMAbstractState, TypeEnvironment<InferredTypes>>,