diff options
| author | Alon Zakai <azakai@google.com> | 2022-06-14 13:34:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-14 13:34:55 -0700 |
| commit | 7049a8508b738f1afa3622980fbfe10cb1ea85b8 (patch) | |
| tree | 235f34025939584c640a50d181f46b12d205a1c2 /src | |
| parent | 4c810e475c1a35a19fd1eec41de9c92852301ba6 (diff) | |
| download | binaryen-7049a8508b738f1afa3622980fbfe10cb1ea85b8.tar.gz binaryen-7049a8508b738f1afa3622980fbfe10cb1ea85b8.tar.bz2 binaryen-7049a8508b738f1afa3622980fbfe10cb1ea85b8.zip | |
Reducer: Support --hybrid (#4726)
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/wasm-reduce.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/wasm-reduce.cpp b/src/tools/wasm-reduce.cpp index b9f8c6dbe..3cfc0bb11 100644 --- a/src/tools/wasm-reduce.cpp +++ b/src/tools/wasm-reduce.cpp @@ -1305,6 +1305,9 @@ int main(int argc, const char* argv[]) { if (getTypeSystem() == TypeSystem::Nominal) { extraFlags += " --nominal"; } + if (getTypeSystem() == TypeSystem::Isorecursive) { + extraFlags += " --hybrid"; + } if (test.size() == 0) { Fatal() << "test file not provided\n"; |