update wasm-tests

runtimeverification · Oct 10, 2023 · 845c9b9 · 845c9b9
1 parent 2878231
commit 845c9b9
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/tests/conformance/unparseable.txt b/tests/conformance/unparseable.txt
@@ -10,5 +10,4 @@ float_exprs.wast
 float_literals.wast
 globals.wast
 memory.wast
-names.wast
 skip-stack-guard-page.wast
diff --git a/tests/conformance/unsupported-llvm.txt b/tests/conformance/unsupported-llvm.txt
@@ -12,4 +12,5 @@ imports.wast
 left-to-right.wast
 memory_redundancy.wast
 memory_trap.wast
+names.wast
 traps.wast
diff --git a/tests/wasm-tests b/tests/wasm-tests