diff options
Diffstat (limited to 'scripts/fuzz_opt.py')
| -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 a85d2378a..e43d40dec 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1170,6 +1170,8 @@ opt_choices = [ ["--global-refining"], ["--gsi"], ["--gto"], + ["--gufa"], + ["--gufa-optimizing"], ["--local-cse"], ["--heap2local"], ["--remove-unused-names", "--heap2local"], |