github.com/tetratelabs/wazero@v1.7.1/internal/integration_test/spectest/v2/testdata/elem.json (about)

     1  {"source_filename": "./elem.wast",
     2   "commands": [
     3    {"type": "module", "line": 4, "filename": "elem.0.wasm"}, 
     4    {"type": "module", "line": 80, "filename": "elem.1.wasm"}, 
     5    {"type": "module", "line": 90, "filename": "elem.2.wasm"}, 
     6    {"type": "module", "line": 95, "filename": "elem.3.wasm"}, 
     7    {"type": "module", "line": 101, "filename": "elem.4.wasm"}, 
     8    {"type": "module", "line": 110, "filename": "elem.5.wasm"}, 
     9    {"type": "module", "line": 120, "filename": "elem.6.wasm"}, 
    10    {"type": "module", "line": 127, "filename": "elem.7.wasm"}, 
    11    {"type": "module", "line": 134, "filename": "elem.8.wasm"}, 
    12    {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "65"}]}, 
    13    {"type": "assert_return", "line": 149, "action": {"type": "invoke", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    14    {"type": "module", "line": 153, "filename": "elem.9.wasm"}, 
    15    {"type": "assert_return", "line": 167, "action": {"type": "invoke", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "65"}]}, 
    16    {"type": "assert_return", "line": 168, "action": {"type": "invoke", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    17    {"type": "assert_invalid", "line": 171, "filename": "elem.10.wasm", "text": "unknown global", "module_type": "binary"}, 
    18    {"type": "assert_invalid", "line": 175, "filename": "elem.11.wasm", "text": "unknown global", "module_type": "binary"}, 
    19    {"type": "module", "line": 182, "filename": "elem.12.wasm"}, 
    20    {"type": "module", "line": 187, "filename": "elem.13.wasm"}, 
    21    {"type": "module", "line": 193, "filename": "elem.14.wasm"}, 
    22    {"type": "module", "line": 197, "filename": "elem.15.wasm"}, 
    23    {"type": "module", "line": 202, "filename": "elem.16.wasm"}, 
    24    {"type": "module", "line": 207, "filename": "elem.17.wasm"}, 
    25    {"type": "module", "line": 212, "filename": "elem.18.wasm"}, 
    26    {"type": "module", "line": 218, "filename": "elem.19.wasm"}, 
    27    {"type": "module", "line": 224, "filename": "elem.20.wasm"}, 
    28    {"type": "module", "line": 230, "filename": "elem.21.wasm"}, 
    29    {"type": "assert_uninstantiable", "line": 239, "filename": "elem.22.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    30    {"type": "assert_uninstantiable", "line": 248, "filename": "elem.23.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    31    {"type": "assert_uninstantiable", "line": 257, "filename": "elem.24.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    32    {"type": "assert_uninstantiable", "line": 266, "filename": "elem.25.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    33    {"type": "assert_uninstantiable", "line": 273, "filename": "elem.26.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    34    {"type": "assert_uninstantiable", "line": 281, "filename": "elem.27.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    35    {"type": "assert_uninstantiable", "line": 290, "filename": "elem.28.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    36    {"type": "assert_uninstantiable", "line": 298, "filename": "elem.29.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    37    {"type": "assert_uninstantiable", "line": 307, "filename": "elem.30.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    38    {"type": "assert_uninstantiable", "line": 315, "filename": "elem.31.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    39    {"type": "assert_uninstantiable", "line": 324, "filename": "elem.32.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    40    {"type": "assert_uninstantiable", "line": 332, "filename": "elem.33.wasm", "text": "out of bounds table access", "module_type": "binary"}, 
    41    {"type": "module", "line": 342, "filename": "elem.34.wasm"}, 
    42    {"type": "assert_trap", "line": 350, "action": {"type": "invoke", "field": "init", "args": []}, "text": "out of bounds table access", "expected": []}, 
    43    {"type": "module", "line": 352, "filename": "elem.35.wasm"}, 
    44    {"type": "assert_trap", "line": 360, "action": {"type": "invoke", "field": "init", "args": []}, "text": "out of bounds table access", "expected": []}, 
    45    {"type": "assert_invalid", "line": 365, "filename": "elem.36.wasm", "text": "unknown table", "module_type": "binary"}, 
    46    {"type": "assert_invalid", "line": 375, "filename": "elem.37.wasm", "text": "type mismatch", "module_type": "binary"}, 
    47    {"type": "assert_invalid", "line": 383, "filename": "elem.38.wasm", "text": "type mismatch", "module_type": "binary"}, 
    48    {"type": "assert_invalid", "line": 391, "filename": "elem.39.wasm", "text": "type mismatch", "module_type": "binary"}, 
    49    {"type": "assert_invalid", "line": 399, "filename": "elem.40.wasm", "text": "type mismatch", "module_type": "binary"}, 
    50    {"type": "assert_invalid", "line": 407, "filename": "elem.41.wasm", "text": "type mismatch", "module_type": "binary"}, 
    51    {"type": "assert_invalid", "line": 416, "filename": "elem.42.wasm", "text": "type mismatch", "module_type": "binary"}, 
    52    {"type": "assert_invalid", "line": 426, "filename": "elem.43.wasm", "text": "constant expression required", "module_type": "binary"}, 
    53    {"type": "assert_invalid", "line": 434, "filename": "elem.44.wasm", "text": "constant expression required", "module_type": "binary"}, 
    54    {"type": "assert_invalid", "line": 442, "filename": "elem.45.wasm", "text": "constant expression required", "module_type": "binary"}, 
    55    {"type": "assert_invalid", "line": 450, "filename": "elem.46.wasm", "text": "constant expression required", "module_type": "binary"}, 
    56    {"type": "assert_invalid", "line": 458, "filename": "elem.47.wasm", "text": "constant expression required", "module_type": "binary"}, 
    57    {"type": "assert_invalid", "line": 467, "filename": "elem.48.wasm", "text": "unknown global 0", "module_type": "binary"}, 
    58    {"type": "assert_invalid", "line": 475, "filename": "elem.49.wasm", "text": "unknown global 1", "module_type": "binary"}, 
    59    {"type": "assert_invalid", "line": 484, "filename": "elem.50.wasm", "text": "constant expression required", "module_type": "binary"}, 
    60    {"type": "assert_invalid", "line": 495, "filename": "elem.51.wasm", "text": "type mismatch", "module_type": "binary"}, 
    61    {"type": "assert_invalid", "line": 503, "filename": "elem.52.wasm", "text": "type mismatch", "module_type": "binary"}, 
    62    {"type": "assert_invalid", "line": 511, "filename": "elem.53.wasm", "text": "type mismatch", "module_type": "binary"}, 
    63    {"type": "assert_invalid", "line": 519, "filename": "elem.54.wasm", "text": "type mismatch", "module_type": "binary"}, 
    64    {"type": "assert_invalid", "line": 527, "filename": "elem.55.wasm", "text": "constant expression required", "module_type": "binary"}, 
    65    {"type": "module", "line": 537, "filename": "elem.56.wasm"}, 
    66    {"type": "assert_return", "line": 548, "action": {"type": "invoke", "field": "call-overwritten", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    67    {"type": "module", "line": 550, "filename": "elem.57.wasm"}, 
    68    {"type": "assert_return", "line": 561, "action": {"type": "invoke", "field": "call-overwritten-element", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    69    {"type": "module", "line": 565, "name": "$module1", "filename": "elem.58.wasm"}, 
    70    {"type": "register", "line": 583, "name": "$module1", "as": "module1"}, 
    71    {"type": "assert_trap", "line": 585, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 
    72    {"type": "assert_return", "line": 586, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "65"}]}, 
    73    {"type": "assert_return", "line": 587, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    74    {"type": "module", "line": 589, "name": "$module2", "filename": "elem.59.wasm"}, 
    75    {"type": "assert_return", "line": 598, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "67"}]}, 
    76    {"type": "assert_return", "line": 599, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "68"}]}, 
    77    {"type": "assert_return", "line": 600, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, 
    78    {"type": "module", "line": 602, "name": "$module3", "filename": "elem.60.wasm"}, 
    79    {"type": "assert_return", "line": 611, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "67"}]}, 
    80    {"type": "assert_return", "line": 612, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "69"}]}, 
    81    {"type": "assert_return", "line": 613, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "70"}]}, 
    82    {"type": "assert_invalid", "line": 618, "filename": "elem.61.wasm", "text": "type mismatch", "module_type": "binary"}, 
    83    {"type": "assert_invalid", "line": 623, "filename": "elem.62.wasm", "text": "type mismatch", "module_type": "binary"}, 
    84    {"type": "assert_invalid", "line": 628, "filename": "elem.63.wasm", "text": "type mismatch", "module_type": "binary"}, 
    85    {"type": "assert_invalid", "line": 637, "filename": "elem.64.wasm", "text": "type mismatch", "module_type": "binary"}, 
    86    {"type": "module", "line": 646, "name": "$m", "filename": "elem.65.wasm"}, 
    87    {"type": "register", "line": 653, "name": "$m", "as": "exporter"}, 
    88    {"type": "assert_return", "line": 655, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "null"}]}, 
    89    {"type": "assert_return", "line": 656, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "null"}]}, 
    90    {"type": "assert_return", "line": 658, "action": {"type": "invoke", "module": "$m", "field": "set", "args": [{"type": "i32", "value": "0"}, {"type": "externref", "value": "42"}]}, "expected": []}, 
    91    {"type": "assert_return", "line": 659, "action": {"type": "invoke", "module": "$m", "field": "set", "args": [{"type": "i32", "value": "1"}, {"type": "externref", "value": "137"}]}, "expected": []}, 
    92    {"type": "assert_return", "line": 661, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "42"}]}, 
    93    {"type": "assert_return", "line": 662, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "137"}]}, 
    94    {"type": "module", "line": 664, "filename": "elem.66.wasm"}, 
    95    {"type": "assert_return", "line": 668, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "null"}]}, 
    96    {"type": "assert_return", "line": 669, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "137"}]}, 
    97    {"type": "module", "line": 673, "name": "$module4", "filename": "elem.67.wasm"}, 
    98    {"type": "register", "line": 680, "name": "$module4", "as": "module4"}, 
    99    {"type": "module", "line": 682, "filename": "elem.68.wasm"}, 
   100    {"type": "assert_return", "line": 692, "action": {"type": "invoke", "field": "call_imported_elem", "args": []}, "expected": [{"type": "i32", "value": "42"}]}]}