diff options
Diffstat (limited to 'tests/fixtures/spec_testsuites/core/start.json')
| -rw-r--r-- | tests/fixtures/spec_testsuites/core/start.json | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/fixtures/spec_testsuites/core/start.json b/tests/fixtures/spec_testsuites/core/start.json new file mode 100644 index 0000000..6055c6c --- /dev/null +++ b/tests/fixtures/spec_testsuites/core/start.json @@ -0,0 +1,22 @@ +{"source_filename": "./start.wast", + "commands": [ + {"type": "assert_invalid", "line": 2, "filename": "start.0.wasm", "text": "unknown function", "module_type": "binary"}, + {"type": "assert_invalid", "line": 7, "filename": "start.1.wasm", "text": "start function", "module_type": "binary"}, + {"type": "assert_invalid", "line": 14, "filename": "start.2.wasm", "text": "start function", "module_type": "binary"}, + {"type": "module", "line": 21, "filename": "start.3.wasm"}, + {"type": "assert_return", "line": 45, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "68"}]}, + {"type": "action", "line": 46, "action": {"type": "invoke", "field": "inc", "args": []}, "expected": []}, + {"type": "assert_return", "line": 47, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "69"}]}, + {"type": "action", "line": 48, "action": {"type": "invoke", "field": "inc", "args": []}, "expected": []}, + {"type": "assert_return", "line": 49, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "70"}]}, + {"type": "module", "line": 51, "filename": "start.4.wasm"}, + {"type": "assert_return", "line": 74, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "68"}]}, + {"type": "action", "line": 75, "action": {"type": "invoke", "field": "inc", "args": []}, "expected": []}, + {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "69"}]}, + {"type": "action", "line": 77, "action": {"type": "invoke", "field": "inc", "args": []}, "expected": []}, + {"type": "assert_return", "line": 78, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "70"}]}, + {"type": "module", "line": 80, "filename": "start.5.wasm"}, + {"type": "module", "line": 86, "filename": "start.6.wasm"}, + {"type": "module", "line": 92, "filename": "start.7.wasm"}, + {"type": "assert_uninstantiable", "line": 98, "filename": "start.8.wasm", "text": "unreachable", "module_type": "binary"}, + {"type": "assert_malformed", "line": 103, "filename": "start.9.wat", "text": "multiple start sections", "module_type": "text"}]} |