diff options
Diffstat (limited to 'scripts/fuzz_opt.py')
| -rwxr-xr-x | scripts/fuzz_opt.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 66f1c75c0..72bb5e9c3 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1323,6 +1323,7 @@ opt_choices = [ ["--simplify-locals-notee-nostructure"], ["--ssa"], ["--type-refining"], + ["--type-merging"], ["--type-ssa"], ["--vacuum"], ] |