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 21d39853a..5f6cc4f14 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1162,6 +1162,7 @@ opt_choices = [ ["--flatten", "--rereloop"], ["--roundtrip"], ["--rse"], + # TODO: fuzz signature-refining/pruning/etc., but those all need --nominal ["--simplify-locals"], ["--simplify-locals-nonesting"], ["--simplify-locals-nostructure"], |