diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/fuzz_opt.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 5fe946341..bb472c302 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1516,6 +1516,10 @@ def randomize_opt_flags(): # wasm limitation on function body size which is 128K) if random.random() < 0.5: ret += ['-fimfs=99999999'] + # the default for partial-inlining-ifs is 0, so also test with a realistic + # value (the same used in j2wasm atm) + if random.random() < 0.5: + ret += ['-pii=4'] # test both closed and open world if CLOSED_WORLD: ret += [CLOSED_WORLD_FLAG] |