fix
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 2670160..619ef3c 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py
@@ -35,7 +35,8 @@ # parameters -TYPE_SYSTEM_FLAG = '--hybrid' +# TODO: switch to --hybrid when that becomes the most common mode for users +TYPE_SYSTEM_FLAG = '--nominal' # feature options that are always passed to the tools. CONSTANT_FEATURE_OPTS = ['--all-features']