test: smoke test for invalid value type

wasmx · Jul 31, 2020 · ff61974 · ff61974
1 parent 284efe9
commit ff61974
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/test/smoketests/spectests/CMakeLists.txt b/test/smoketests/spectests/CMakeLists.txt
@@ -39,7 +39,7 @@ add_test(
 set_tests_properties(
     fizzy/smoketests/spectests/broken
     PROPERTIES
-    PASS_REGULAR_EXPRESSION "PASSED 0, FAILED 2, SKIPPED 4"
+    PASS_REGULAR_EXPRESSION "PASSED 1, FAILED 2, SKIPPED 5"
 )
 
 add_test(

diff --git a/test/smoketests/spectests/broken/broken.json b/test/smoketests/spectests/broken/broken.json
@@ -5,4 +5,7 @@
   {"type": "module", "line": 5, "filename": "unparsable.wasm"},
   {"type": "assert_return", "line": 10, "action": {"type": "get", "field": "tmp"}, "expected": []},
   {"type": "assert_return", "line": 15, "action": {"type": "invalid_action_type"}, "expected": []},
-  {"type": "assert_trap", "line": 20, "action": {"type": "invalid_action_type"}, "expected": []}]}
+  {"type": "assert_trap", "line": 20, "action": {"type": "invalid_action_type"}, "expected": []},
+  {"type": "module", "line": 30, "filename": "single_func.wasm"},
+  {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "foo", "args": [{"type": "invalid_type", "value": "0"}]}, "expected": []}]
+}
diff --git a/test/smoketests/spectests/broken/single_func.wasm b/test/smoketests/spectests/broken/single_func.wasm