Fixed bug in is_leaf`

mkalinin · Apr 25, 2024 · 71f2683 · 71f2683
1 parent a658509
commit 71f2683
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/generators/fork_choice_generated/model/minizinc/Block_cover3.mzn b/tests/generators/fork_choice_generated/model/minizinc/Block_cover3.mzn
@@ -45,7 +45,7 @@ constraint forall(b in BLOCK)(es[b] <= curr_e);
 constraint forall(b in BLOCK)(get_vse(b) <= store_je);
 constraint exists(b in BLOCK)(get_vse(b) == store_je);
 
-predicate is_leaf(var BLOCK: b) = not exists(child in BLOCK where child < max_block)(parents[child] == b);
+predicate is_leaf(var BLOCK: b) = not exists(child in BLOCK where child > b /\ child <= max_block)(parents[child] == b);
 
 var BLOCK: target_block;
 var BLOCK: max_block;