diff options
Diffstat (limited to 'scripts/fuzz_opt.py')
| -rwxr-xr-x | scripts/fuzz_opt.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 2f4fad5c2..98695580d 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1378,6 +1378,9 @@ def randomize_opt_flags(): # wasm limitation on function body size which is 128K) if random.random() < 0.5: ret += ['-fimfs=99999999'] + # test both closed and open world + if random.random() < 0.5: + ret += ['--closed-world'] assert ret.count('--flatten') <= 1 return ret |