...

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

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

     1{"source_filename": "./elem.wast",
     2 "commands": [
     3  {"type": "module", "line": 4, "filename": "elem.0.wasm"}, 
     4  {"type": "module", "line": 23, "filename": "elem.1.wasm"}, 
     5  {"type": "module", "line": 28, "filename": "elem.2.wasm"}, 
     6  {"type": "module", "line": 34, "filename": "elem.3.wasm"}, 
     7  {"type": "module", "line": 43, "filename": "elem.4.wasm"}, 
     8  {"type": "module", "line": 53, "filename": "elem.5.wasm"}, 
     9  {"type": "module", "line": 60, "filename": "elem.6.wasm"}, 
    10  {"type": "module", "line": 67, "filename": "elem.7.wasm"}, 
    11  {"type": "assert_return", "line": 81, "action": {"type": "invoke", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "65"}]}, 
    12  {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    13  {"type": "module", "line": 86, "filename": "elem.8.wasm"}, 
    14  {"type": "module", "line": 91, "filename": "elem.9.wasm"}, 
    15  {"type": "module", "line": 97, "filename": "elem.10.wasm"}, 
    16  {"type": "module", "line": 101, "filename": "elem.11.wasm"}, 
    17  {"type": "module", "line": 106, "filename": "elem.12.wasm"}, 
    18  {"type": "module", "line": 111, "filename": "elem.13.wasm"}, 
    19  {"type": "module", "line": 116, "filename": "elem.14.wasm"}, 
    20  {"type": "module", "line": 122, "filename": "elem.15.wasm"}, 
    21  {"type": "module", "line": 128, "filename": "elem.16.wasm"}, 
    22  {"type": "module", "line": 134, "filename": "elem.17.wasm"}, 
    23  {"type": "assert_unlinkable", "line": 143, "filename": "elem.18.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    24  {"type": "assert_unlinkable", "line": 152, "filename": "elem.19.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    25  {"type": "assert_unlinkable", "line": 161, "filename": "elem.20.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    26  {"type": "assert_unlinkable", "line": 170, "filename": "elem.21.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    27  {"type": "assert_unlinkable", "line": 178, "filename": "elem.22.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    28  {"type": "assert_unlinkable", "line": 186, "filename": "elem.23.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    29  {"type": "assert_unlinkable", "line": 195, "filename": "elem.24.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    30  {"type": "assert_unlinkable", "line": 203, "filename": "elem.25.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    31  {"type": "assert_unlinkable", "line": 212, "filename": "elem.26.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    32  {"type": "assert_unlinkable", "line": 220, "filename": "elem.27.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    33  {"type": "assert_unlinkable", "line": 229, "filename": "elem.28.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    34  {"type": "assert_unlinkable", "line": 237, "filename": "elem.29.wasm", "text": "elements segment does not fit", "module_type": "binary"}, 
    35  {"type": "assert_invalid", "line": 248, "filename": "elem.30.wasm", "text": "unknown table 0", "module_type": "binary"}, 
    36  {"type": "assert_invalid", "line": 258, "filename": "elem.31.wasm", "text": "type mismatch", "module_type": "binary"}, 
    37  {"type": "assert_invalid", "line": 266, "filename": "elem.32.wasm", "text": "constant expression required", "module_type": "binary"}, 
    38  {"type": "assert_invalid", "line": 274, "filename": "elem.33.wasm", "text": "constant expression required", "module_type": "binary"}, 
    39  {"type": "assert_invalid", "line": 282, "filename": "elem.34.wasm", "text": "constant expression required", "module_type": "binary"}, 
    40  {"type": "assert_invalid", "line": 290, "filename": "elem.35.wasm", "text": "constant expression required", "module_type": "binary"}, 
    41  {"type": "module", "line": 305, "filename": "elem.36.wasm"}, 
    42  {"type": "assert_return", "line": 316, "action": {"type": "invoke", "field": "call-overwritten", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    43  {"type": "module", "line": 318, "filename": "elem.37.wasm"}, 
    44  {"type": "assert_return", "line": 329, "action": {"type": "invoke", "field": "call-overwritten-element", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    45  {"type": "module", "line": 333, "name": "$module1", "filename": "elem.38.wasm"}, 
    46  {"type": "register", "line": 351, "name": "$module1", "as": "module1"}, 
    47  {"type": "assert_trap", "line": 353, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "text": "uninitialized element 7", "expected": [{"type": "i32"}]}, 
    48  {"type": "assert_return", "line": 354, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "65"}]}, 
    49  {"type": "assert_return", "line": 355, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    50  {"type": "module", "line": 357, "name": "$module2", "filename": "elem.39.wasm"}, 
    51  {"type": "assert_return", "line": 366, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "67"}]}, 
    52  {"type": "assert_return", "line": 367, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "68"}]}, 
    53  {"type": "assert_return", "line": 368, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    54  {"type": "module", "line": 370, "name": "$module3", "filename": "elem.40.wasm"}, 
    55  {"type": "assert_return", "line": 379, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "67"}]}, 
    56  {"type": "assert_return", "line": 380, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "69"}]}, 
    57  {"type": "assert_return", "line": 381, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "70"}]}]}

View as plain text