feat: add fac.wast

dylibso · Oct 15, 2023 · 467f94e · 467f94e
1 parent de9c79f
commit 467f94e
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/runtime/pom.xml b/runtime/pom.xml
@@ -47,13 +47,15 @@
             align.wast,
             int_literals.wast,
             int_exprs.wast,
-            endianness.wast</wastToProcess>
+            endianness.wast,
+            fac.wast</wastToProcess>
           <orderedWastToProcess>memory_grow.wast,
             memory_size.wast,
             stack.wast</orderedWastToProcess>
           <excludedTests>
             <!-- Assertion failures -->
             SpecV1MemoryGrowTest.test67,
+            SpecV1FacTest.test4,
             <!-- call indirect failures -->
             SpecV1MemoryGrowTest.test64,
             SpecV1MemoryGrowTest.test65,

diff --git a/test-gen-plugin/src/main/java/com/dylibso/chicory/maven/JavaTestGen.java b/test-gen-plugin/src/main/java/com/dylibso/chicory/maven/JavaTestGen.java
@@ -148,7 +148,8 @@ public CompilationUnit generate(
                     //                    }
                     break;
                 default:
-                    log.info("command type not yet supported " + cmd.getType());
+                    // TODO we need to implement all of these
+                    log.info("TODO: command type not yet supported " + cmd.getType());
                     //                    throw new IllegalArgumentException(
                     //                            "command type not yet supported " +
                     // cmd.getType());

diff --git a/test-gen-plugin/src/main/java/com/dylibso/chicory/maven/wast/CommandType.java b/test-gen-plugin/src/main/java/com/dylibso/chicory/maven/wast/CommandType.java
@@ -16,6 +16,8 @@ public enum CommandType {
     ASSERT_MALFORMED("assert_malformed"),
     @JsonProperty("assert_uninstantiable")
     ASSERT_UNINSTANTIABLE("assert_uninstantiable"),
+    @JsonProperty("assert_exhaustion")
+    ASSERT_EXHAUSTION("assert_exhaustion"),
     @JsonProperty("action")
     ACTION("action");