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 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 |