summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/fuzz_opt.py2
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"],