diff options
Diffstat (limited to 'scripts/fuzz_opt.py')
| -rwxr-xr-x | scripts/fuzz_opt.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index bb472c302..530cafeb2 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -43,7 +43,7 @@ assert sys.version_info.major == 3, 'requires Python 3!' # parameters -TYPE_SYSTEM_FLAG = '--nominal' +TYPE_SYSTEM_FLAG = '--hybrid' # feature options that are always passed to the tools. CONSTANT_FEATURE_OPTS = ['--all-features'] |