Run spec test in github action

mohanson · Oct 27, 2024 · 4476528 · 4476528
1 parent 6722920
commit 4476528
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
@@ -16,3 +16,4 @@ jobs:
         run: |
           python -m pip install --editable .
           python test/test_examples.py
+          python test/test_spec.py
diff --git a/test/test_spec.py b/test/test_spec.py
@@ -76,9 +76,6 @@ def impi() -> typing.Dict[str, typing.Any]:
         continue
     with open(name) as f:
         suit = json.load(f)['commands']
-    match name:
-        case 'res/spectest/elem.json':
-            suit = suit[:43]
     imps = impi()
     runtime = pywasm.Runtime()
     cmodule: pywasm.ModuleInst