diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/fuzz_opt.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index bb6e5723d..49f98fc1a 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1294,6 +1294,8 @@ opt_choices = [ ["--memory-packing"], ["--merge-blocks"], ['--merge-locals'], + ['--monomorphize'], + ['--monomorphize-always'], ['--once-reduction'], ["--optimize-instructions"], ["--optimize-stack-ir"], |