diff options
| author | Alon Zakai <azakai@google.com> | 2023-03-31 09:59:03 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-31 09:59:03 -0700 |
| commit | 1bef55854e284b81724be4aecf439b9046ab92ad (patch) | |
| tree | 713786d8a41c6e3db3a454cc5a60afe84437d15a | |
| parent | 59079bc41ac83c7a22a818c48bf74ee507e82766 (diff) | |
| download | binaryen-1bef55854e284b81724be4aecf439b9046ab92ad.tar.gz binaryen-1bef55854e284b81724be4aecf439b9046ab92ad.tar.bz2 binaryen-1bef55854e284b81724be4aecf439b9046ab92ad.zip | |
Switch fuzzer to hybrid typing (#5609)
This is the default, and also used by J2Wasm.
| -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'] |