fix non_reach encoding in mutant context

bnediction · Oct 18, 2023 · 317643a · 317643a
1 parent 249a793
commit 317643a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bonesis/asp_encoding.py b/bonesis/asp_encoding.py
@@ -546,7 +546,7 @@ def encode_nonreach(self, cfg1, cfg2, mutant=None, bounded="auto"):
         else:
             rules += [f"reach_steps({Z},{bounded})"]
         if mutant is not None:
-            rules += [f"clamped(({Z},1..K),N,V) :- mutant({mutant},N,V)"]
+            rules += [f"clamped(({Z},1..K),N,V) :- mutant({mutant},N,V), reach_steps({Z},K)"]
         return rules
 
     def encode_final_nonreach(self, cfg1, cfg2, mutant=None):