fix: Fix condition, skip only seeded states

misonijnik · misonijnik · commit 6fe4722890d9 · 2024-11-22T09:15:53.000+01:00
diff --git a/lib/Core/TargetManager.cpp b/lib/Core/TargetManager.cpp
@@ -169,7 +169,7 @@ void TargetManager::updateReached(ExecutionState &state) {
 }
 
 void TargetManager::updateTargets(ExecutionState &state) {
-  if (!state.isSeeded) {
+  if (state.isSeeded) {
     return;
   }
   if (guidance == Interpreter::GuidanceKind::CoverageGuidance) {

Original file line number	Diff line number	Diff line change
`@@ -169,7 +169,7 @@ void TargetManager::updateReached(ExecutionState &state) {`
`169`	`169`	`}`
`170`	`170`
`171`	`171`	`void TargetManager::updateTargets(ExecutionState &state) {`
`172`		`- if (!state.isSeeded) {`
	`172`	`+ if (state.isSeeded) {`
`173`	`173`	`return;`
`174`	`174`	`}`
`175`	`175`	`if (guidance == Interpreter::GuidanceKind::CoverageGuidance) {`