...

Text file src/github.com/tetratelabs/wazero/internal/integration_test/spectest/v1/testdata/start.json

Documentation: github.com/tetratelabs/wazero/internal/integration_test/spectest/v1/testdata

     1{"source_filename": "./start.wast",
     2 "commands": [
     3  {"type": "assert_invalid", "line": 2, "filename": "start.0.wasm", "text": "unknown function", "module_type": "binary"}, 
     4  {"type": "assert_invalid", "line": 7, "filename": "start.1.wasm", "text": "start function", "module_type": "binary"}, 
     5  {"type": "assert_invalid", "line": 14, "filename": "start.2.wasm", "text": "start function", "module_type": "binary"}, 
     6  {"type": "module", "line": 21, "filename": "start.3.wasm"}, 
     7  {"type": "assert_return", "line": 45, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "68"}]}, 
     8  {"type": "action", "line": 46, "action": {"type": "invoke", "field": "inc", "args": []}, "expected": []}, 
     9  {"type": "assert_return", "line": 47, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "69"}]}, 
    10  {"type": "action", "line": 48, "action": {"type": "invoke", "field": "inc", "args": []}, "expected": []}, 
    11  {"type": "assert_return", "line": 49, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "70"}]}, 
    12  {"type": "module", "line": 51, "filename": "start.4.wasm"}, 
    13  {"type": "assert_return", "line": 74, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "68"}]}, 
    14  {"type": "action", "line": 75, "action": {"type": "invoke", "field": "inc", "args": []}, "expected": []}, 
    15  {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "69"}]}, 
    16  {"type": "action", "line": 77, "action": {"type": "invoke", "field": "inc", "args": []}, "expected": []}, 
    17  {"type": "assert_return", "line": 78, "action": {"type": "invoke", "field": "get", "args": []}, "expected": [{"type": "i32", "value": "70"}]}, 
    18  {"type": "module", "line": 80, "filename": "start.5.wasm"}, 
    19  {"type": "module", "line": 86, "filename": "start.6.wasm"}, 
    20  {"type": "module", "line": 92, "filename": "start.7.wasm"}, 
    21  {"type": "assert_uninstantiable", "line": 98, "filename": "start.8.wasm", "text": "unreachable", "module_type": "binary"}]}

View as plain text