Ignore errors for long MemId

RReverser · Jan 17, 2024 · 32de472 · 32de472
1 parent 04cedfb
commit 32de472
Showing 1 changed file with 51 additions and 0 deletions.
diff --git a/tests/spec.rs b/tests/spec.rs
@@ -71,6 +71,57 @@ const IGNORED_MODULES: &[&[u8]] = &[
         0x17, 0x04, 0x6E, 0x61, 0x6D, 0x65, 0x01, 0x0A, 0x03, 0x00, 0x01, 0x66, 0x01, 0x01, 0x67,
         0x02, 0x01, 0x68, 0x04, 0x04, 0x01, 0x00, 0x01, 0x74,
     ],
+    // We support non-zero memory indices by default (partial multi-memory support), so those "malformed" expectations are invalid.
+    &[
+        0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00, 0x01, 0x04, 0x01, 0x60, 0x00, 0x00, 0x03,
+        0x02, 0x01, 0x00, 0x05, 0x03, 0x01, 0x00, 0x00, 0x0A, 0x07, 0x01, 0x05, 0x00, 0x3F, 0x01,
+        0x1A, 0x0B,
+    ],
+    &[
+        0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00, 0x01, 0x04, 0x01, 0x60, 0x00, 0x00, 0x03,
+        0x02, 0x01, 0x00, 0x05, 0x03, 0x01, 0x00, 0x00, 0x0A, 0x08, 0x01, 0x06, 0x00, 0x3F, 0x80,
+        0x00, 0x1A, 0x0B,
+    ],
+    &[
+        0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00, 0x01, 0x04, 0x01, 0x60, 0x00, 0x00, 0x03,
+        0x02, 0x01, 0x00, 0x05, 0x03, 0x01, 0x00, 0x00, 0x0A, 0x09, 0x01, 0x07, 0x00, 0x3F, 0x80,
+        0x80, 0x00, 0x1A, 0x0B,
+    ],
+    &[
+        0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00, 0x01, 0x04, 0x01, 0x60, 0x00, 0x00, 0x03,
+        0x02, 0x01, 0x00, 0x05, 0x03, 0x01, 0x00, 0x00, 0x0A, 0x09, 0x01, 0x07, 0x00, 0x41, 0x00,
+        0x40, 0x01, 0x1A, 0x0B,
+    ],
+    &[
+        0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00, 0x01, 0x04, 0x01, 0x60, 0x00, 0x00, 0x03,
+        0x02, 0x01, 0x00, 0x05, 0x03, 0x01, 0x00, 0x00, 0x0A, 0x0A, 0x01, 0x08, 0x00, 0x3F, 0x80,
+        0x80, 0x80, 0x00, 0x1A, 0x0B,
+    ],
+    &[
+        0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00, 0x01, 0x04, 0x01, 0x60, 0x00, 0x00, 0x03,
+        0x02, 0x01, 0x00, 0x05, 0x03, 0x01, 0x00, 0x00, 0x0A, 0x0A, 0x01, 0x08, 0x00, 0x41, 0x00,
+        0x40, 0x80, 0x00, 0x1A, 0x0B,
+    ],
+    &[
+        0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00, 0x01, 0x04, 0x01, 0x60, 0x00, 0x00, 0x03,
+        0x02, 0x01, 0x00, 0x05, 0x03, 0x01, 0x00, 0x00, 0x0A, 0x0B, 0x01, 0x09, 0x00, 0x3F, 0x80,
+        0x80, 0x80, 0x80, 0x00, 0x1A, 0x0B,
+    ],
+    &[
+        0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00, 0x01, 0x04, 0x01, 0x60, 0x00, 0x00, 0x03,
+        0x02, 0x01, 0x00, 0x05, 0x03, 0x01, 0x00, 0x00, 0x0A, 0x0B, 0x01, 0x09, 0x00, 0x41, 0x00,
+        0x40, 0x80, 0x80, 0x00, 0x1A, 0x0B,
+    ],
+    &[
+        0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00, 0x01, 0x04, 0x01, 0x60, 0x00, 0x00, 0x03,
+        0x02, 0x01, 0x00, 0x05, 0x03, 0x01, 0x00, 0x00, 0x0A, 0x0C, 0x01, 0x0A, 0x00, 0x41, 0x00,
+        0x40, 0x80, 0x80, 0x80, 0x00, 0x1A, 0x0B,
+    ],
+    &[
+        0x00, 0x61, 0x73, 0x6D, 0x01, 0x00, 0x00, 0x00, 0x01, 0x04, 0x01, 0x60, 0x00, 0x00, 0x03,
+        0x02, 0x01, 0x00, 0x05, 0x03, 0x01, 0x00, 0x00, 0x0A, 0x0D, 0x01, 0x0B, 0x00, 0x41, 0x00,
+        0x40, 0x80, 0x80, 0x80, 0x80, 0x00, 0x1A, 0x0B,
+    ],
 ];
 
 #[derive(Default)]