test: smoke test for invalid value type

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

Hide file tree

Showing 3 changed files with 6 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 6"
 )
 
 add_test(

diff --git a/test/smoketests/spectests/broken/broken.json b/test/smoketests/spectests/broken/broken.json
@@ -5,4 +5,8 @@
   {"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": 25, "filename": "single_func.wasm"},
+  {"type": "assert_return", "line": 35, "action": {"type": "invoke", "field": "foo", "args": [{"type": "invalid_type", "value": "0"}]}, "expected": []},
+  {"type": "assert_return", "line": 45, "action": {"type": "invoke", "field": "foo", "args": []}, "expected": [{"type": "invalid_type", "value": "0"}]}]
+}
diff --git a/test/smoketests/spectests/broken/single_func.wasm b/test/smoketests/spectests/broken/single_func.wasm