[fix] Refine getDistance for non-trivial targets

UnitTestBot · Aug 2, 2023 · 479d04f · 479d04f
1 parent 65f0524
commit 479d04f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/lib/Core/TargetManager.h b/lib/Core/TargetManager.h
@@ -120,6 +120,12 @@ class TargetManager {
 
     DistanceResult result =
         distanceCalculator.getDistance(state, target->getBlock());
+
+    if (Done == result.result && (!isa<ReachBlockTarget>(target) ||
+                                  cast<ReachBlockTarget>(target)->isAtEnd())) {
+      result.result = Continue;
+    }
+
     distances[&state][target] = result;
 
     return result;