diff options
| author | Alon Zakai <azakai@google.com> | 2021-04-08 16:08:43 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-08 16:08:43 -0700 |
| commit | 362eb18350692dd333a81a5630ee409cab3ccbe6 (patch) | |
| tree | fb65d9f9368979c4c43b7921af1d12bc7b769271 /scripts/fuzz_opt.py | |
| parent | 1b2fc6dce265a1ff1657cbe43679305311f9e4cf (diff) | |
| download | binaryen-362eb18350692dd333a81a5630ee409cab3ccbe6.tar.gz binaryen-362eb18350692dd333a81a5630ee409cab3ccbe6.tar.bz2 binaryen-362eb18350692dd333a81a5630ee409cab3ccbe6.zip | |
Fuzz --converge (#3789)
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 337ac3440..b0cbef1c8 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1018,6 +1018,9 @@ def randomize_opt_flags(): ret += ['--optimize-level=' + str(random.randint(0, 3))] if random.random() < 0.5: ret += ['--shrink-level=' + str(random.randint(0, 3))] + # possibly converge. don't do this very often as it can be slow. + if random.random() < 0.05: + ret += ['--converge'] assert ret.count('--flatten') <= 1 return ret |