From 86339c69320760c5b1acae681b9938d4c9f897f6 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Mon, 14 Sep 2026 09:08:05 -0700
Subject: Refinement on guard removal

Fix keep/unkeep balance.
Always fuzz small.
---
 chapter25/src/test/java/com/seaofnodes/simple/FuzzerWrap.java | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'chapter25/src/test/java')

diff --git a/chapter25/src/test/java/com/seaofnodes/simple/FuzzerWrap.java b/chapter25/src/test/java/com/seaofnodes/simple/FuzzerWrap.java
index a4532eb2..3aaa290a 100644
--- a/chapter25/src/test/java/com/seaofnodes/simple/FuzzerWrap.java
+++ b/chapter25/src/test/java/com/seaofnodes/simple/FuzzerWrap.java
@@ -20,12 +20,16 @@ public class FuzzerWrap {
         -6359653295501938199L, // monotonicity, escape is dead
          6506797708065910879L, // missing ModeNode._mode is optimistic
           650692970082394944L, // recursive bulk mem split
+         8335100609598232836L, // ternary result killed by region cleanup
+         2520958273643234516L, // nested guard merge
+        -3772838984504063325L, // fuzzer regression
     };
 
     private static final long[] OPEN_FAILING_SEEDS = {
-        8335100609598232836L,
-        2520958273643234516L,
-        -3772838984504063325L,
+        -4628356252269023530L,
+        -4022199781524079249L,
+        8824787517620928178L,
+        -673501011619761901L,
     };
 
 
-- 
cgit v1.2.3