From 71f2683dfc11d6e4d1f61ede74a2877428d04322 Mon Sep 17 00:00:00 2001
From: Alex Vlasov <avv49@mail.ru>
Date: Thu, 25 Apr 2024 20:44:32 +0400
Subject: [PATCH] Fixed bug in `is_leaf``

---
 .../fork_choice_generated/model/minizinc/Block_cover3.mzn       | 2 +-
 1 file changed, 1 insertion(+), 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
index 24be71e814..4845d4c88c 100644
--- 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;