Reducer: Support --hybrid (WebAssembly#4726)

torstenschenk · Jun 14, 2022 · 7049a85 · 7049a85
1 parent 4c810e4
commit 7049a85
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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";