From 3a0f80bbae4c291df1e1847b5ce2058221482d81 Mon Sep 17 00:00:00 2001
From: Diego <96022404+dzfrias@users.noreply.github.com>
Date: Thu, 11 Jul 2024 09:45:01 -0700
Subject: [PATCH] LibWasm: Ignore tests that check that we don't support 2+
 memories

Since we support the multi-memory proposal, we should skip tests that
validate that we have only one memory. Once multi-memory gets included
in the main WebAssembly specification (and the testsuite is updated), we
can revert this commit.
---
 Meta/generate-libwasm-spec-test.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Meta/generate-libwasm-spec-test.py b/Meta/generate-libwasm-spec-test.py
index 0542f9ff0de..3e7efaa9af0 100644
--- a/Meta/generate-libwasm-spec-test.py
+++ b/Meta/generate-libwasm-spec-test.py
@@ -314,6 +314,11 @@ _test.skip = test.skip;
 
 
 def gen_invalid(invalid: AssertInvalid, ctx: Context):
+    # TODO: Remove this once the multiple memories proposal is standardized.
+    # We support the multiple memories proposal, so spec-tests that check that
+    # we don't do not make any sense to include right now.
+    if invalid.message == "multiple memories":
+        return
     if ctx.has_unclosed:
         print("});")
         ctx.has_unclosed = False