diff options
| author | Cliff Click <cliffc@acm.org> | 2026-09-13 15:48:17 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-09-13 15:48:17 -0700 |
| commit | cdc1ac01c3935587f4c11140d8afb22bec0e7581 (patch) | |
| tree | ee0b9771da0979cb1a521519682e8652b27708ab /chapter25/src/test/java/com | |
| parent | 5592a0661d397932b5bb012f785ceb7cac31f6d4 (diff) | |
| download | Simple-cdc1ac01c3935587f4c11140d8afb22bec0e7581.tar.gz Simple-cdc1ac01c3935587f4c11140d8afb22bec0e7581.zip | |
Resolve numeric needs more Opto
Missing Arith mode picks high or low according to pre/post Opto
FunPtr improves sig return based on Opto return type.
Minus with missing mode is optimistic, same as Arith
Diffstat (limited to 'chapter25/src/test/java/com')
| -rw-r--r-- | chapter25/src/test/java/com/seaofnodes/simple/FuzzerWrap.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/chapter25/src/test/java/com/seaofnodes/simple/FuzzerWrap.java b/chapter25/src/test/java/com/seaofnodes/simple/FuzzerWrap.java index d7293da1..51747fe4 100644 --- a/chapter25/src/test/java/com/seaofnodes/simple/FuzzerWrap.java +++ b/chapter25/src/test/java/com/seaofnodes/simple/FuzzerWrap.java @@ -14,10 +14,11 @@ import static org.junit.Assert.assertTrue; public class FuzzerWrap { private static final long[] REGRESSION_SEEDS = { - 375135762521757909L, // bad LCA - -148471672577312953L, // bulk mem + 375135762521757909L, // bad LCA + -148471672577312953L, // bulk mem -5037182906211190034L, // dead Guard control -6359653295501938199L, // monotonicity, escape is dead + 6506797708065910879L, // missing ModeNode._mode is optimistic }; private static final long[] OPEN_FAILING_SEEDS = { |