wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v1/testdata/imports.json (about)

     1  {"source_filename": "./imports.wast",
     2   "commands": [
     3    {"type": "module", "line": 3, "filename": "imports.0.wasm"}, 
     4    {"type": "register", "line": 19, "as": "test"}, 
     5    {"type": "module", "line": 24, "filename": "imports.1.wasm"}, 
     6    {"type": "assert_return", "line": 87, "action": {"type": "invoke", "field": "print32", "args": [{"type": "i32", "value": "13"}]}, "expected": []}, 
     7    {"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "print64", "args": [{"type": "i64", "value": "24"}]}, "expected": []}, 
     8    {"type": "assert_invalid", "line": 91, "filename": "imports.2.wasm", "text": "unknown type", "module_type": "binary"}, 
     9    {"type": "module", "line": 98, "filename": "imports.3.wasm"}, 
    10    {"type": "module", "line": 99, "filename": "imports.4.wasm"}, 
    11    {"type": "module", "line": 100, "filename": "imports.5.wasm"}, 
    12    {"type": "module", "line": 101, "filename": "imports.6.wasm"}, 
    13    {"type": "module", "line": 102, "filename": "imports.7.wasm"}, 
    14    {"type": "module", "line": 103, "filename": "imports.8.wasm"}, 
    15    {"type": "module", "line": 104, "filename": "imports.9.wasm"}, 
    16    {"type": "assert_unlinkable", "line": 107, "filename": "imports.10.wasm", "text": "unknown import", "module_type": "binary"}, 
    17    {"type": "assert_unlinkable", "line": 111, "filename": "imports.11.wasm", "text": "unknown import", "module_type": "binary"}, 
    18    {"type": "assert_unlinkable", "line": 116, "filename": "imports.12.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    19    {"type": "assert_unlinkable", "line": 120, "filename": "imports.13.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    20    {"type": "assert_unlinkable", "line": 124, "filename": "imports.14.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    21    {"type": "assert_unlinkable", "line": 128, "filename": "imports.15.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    22    {"type": "assert_unlinkable", "line": 132, "filename": "imports.16.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    23    {"type": "assert_unlinkable", "line": 136, "filename": "imports.17.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    24    {"type": "assert_unlinkable", "line": 140, "filename": "imports.18.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    25    {"type": "assert_unlinkable", "line": 144, "filename": "imports.19.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    26    {"type": "assert_unlinkable", "line": 148, "filename": "imports.20.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    27    {"type": "assert_unlinkable", "line": 152, "filename": "imports.21.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    28    {"type": "assert_unlinkable", "line": 156, "filename": "imports.22.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    29    {"type": "assert_unlinkable", "line": 160, "filename": "imports.23.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    30    {"type": "assert_unlinkable", "line": 164, "filename": "imports.24.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    31    {"type": "assert_unlinkable", "line": 168, "filename": "imports.25.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    32    {"type": "assert_unlinkable", "line": 172, "filename": "imports.26.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    33    {"type": "assert_unlinkable", "line": 176, "filename": "imports.27.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    34    {"type": "assert_unlinkable", "line": 181, "filename": "imports.28.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    35    {"type": "assert_unlinkable", "line": 185, "filename": "imports.29.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    36    {"type": "assert_unlinkable", "line": 189, "filename": "imports.30.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    37    {"type": "assert_unlinkable", "line": 193, "filename": "imports.31.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    38    {"type": "assert_unlinkable", "line": 197, "filename": "imports.32.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    39    {"type": "assert_unlinkable", "line": 201, "filename": "imports.33.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    40    {"type": "module", "line": 208, "filename": "imports.34.wasm"}, 
    41    {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "get-0", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 
    42    {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "get-1", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 
    43    {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "get-x", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 
    44    {"type": "assert_return", "line": 229, "action": {"type": "invoke", "field": "get-y", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 
    45    {"type": "module", "line": 231, "filename": "imports.35.wasm"}, 
    46    {"type": "module", "line": 232, "filename": "imports.36.wasm"}, 
    47    {"type": "assert_unlinkable", "line": 235, "filename": "imports.37.wasm", "text": "unknown import", "module_type": "binary"}, 
    48    {"type": "assert_unlinkable", "line": 239, "filename": "imports.38.wasm", "text": "unknown import", "module_type": "binary"}, 
    49    {"type": "assert_unlinkable", "line": 244, "filename": "imports.39.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    50    {"type": "assert_unlinkable", "line": 248, "filename": "imports.40.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    51    {"type": "assert_unlinkable", "line": 252, "filename": "imports.41.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    52    {"type": "assert_unlinkable", "line": 256, "filename": "imports.42.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    53    {"type": "assert_unlinkable", "line": 260, "filename": "imports.43.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    54    {"type": "assert_unlinkable", "line": 264, "filename": "imports.44.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    55    {"type": "module", "line": 271, "filename": "imports.45.wasm"}, 
    56    {"type": "assert_trap", "line": 283, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 
    57    {"type": "assert_return", "line": 284, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]}, 
    58    {"type": "assert_return", "line": 285, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]}, 
    59    {"type": "assert_trap", "line": 286, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 
    60    {"type": "assert_trap", "line": 287, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, 
    61    {"type": "module", "line": 290, "filename": "imports.46.wasm"}, 
    62    {"type": "assert_trap", "line": 302, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 
    63    {"type": "assert_return", "line": 303, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]}, 
    64    {"type": "assert_return", "line": 304, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]}, 
    65    {"type": "assert_trap", "line": 305, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 
    66    {"type": "assert_trap", "line": 306, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, 
    67    {"type": "assert_invalid", "line": 310, "filename": "imports.47.wasm", "text": "multiple tables", "module_type": "binary"}, 
    68    {"type": "assert_invalid", "line": 314, "filename": "imports.48.wasm", "text": "multiple tables", "module_type": "binary"}, 
    69    {"type": "assert_invalid", "line": 318, "filename": "imports.49.wasm", "text": "multiple tables", "module_type": "binary"}, 
    70    {"type": "module", "line": 322, "filename": "imports.50.wasm"}, 
    71    {"type": "module", "line": 323, "filename": "imports.51.wasm"}, 
    72    {"type": "module", "line": 324, "filename": "imports.52.wasm"}, 
    73    {"type": "module", "line": 325, "filename": "imports.53.wasm"}, 
    74    {"type": "module", "line": 326, "filename": "imports.54.wasm"}, 
    75    {"type": "module", "line": 327, "filename": "imports.55.wasm"}, 
    76    {"type": "module", "line": 328, "filename": "imports.56.wasm"}, 
    77    {"type": "module", "line": 329, "filename": "imports.57.wasm"}, 
    78    {"type": "module", "line": 330, "filename": "imports.58.wasm"}, 
    79    {"type": "module", "line": 331, "filename": "imports.59.wasm"}, 
    80    {"type": "module", "line": 332, "filename": "imports.60.wasm"}, 
    81    {"type": "assert_unlinkable", "line": 335, "filename": "imports.61.wasm", "text": "unknown import", "module_type": "binary"}, 
    82    {"type": "assert_unlinkable", "line": 339, "filename": "imports.62.wasm", "text": "unknown import", "module_type": "binary"}, 
    83    {"type": "assert_unlinkable", "line": 344, "filename": "imports.63.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    84    {"type": "assert_unlinkable", "line": 348, "filename": "imports.64.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    85    {"type": "assert_unlinkable", "line": 352, "filename": "imports.65.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    86    {"type": "assert_unlinkable", "line": 356, "filename": "imports.66.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    87    {"type": "assert_unlinkable", "line": 361, "filename": "imports.67.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    88    {"type": "assert_unlinkable", "line": 365, "filename": "imports.68.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    89    {"type": "assert_unlinkable", "line": 369, "filename": "imports.69.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    90    {"type": "assert_unlinkable", "line": 373, "filename": "imports.70.wasm", "text": "incompatible import type", "module_type": "binary"}, 
    91    {"type": "module", "line": 381, "filename": "imports.71.wasm"}, 
    92    {"type": "assert_return", "line": 388, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    93    {"type": "assert_return", "line": 389, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, 
    94    {"type": "assert_return", "line": 390, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]}, 
    95    {"type": "assert_trap", "line": 391, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]}, 
    96    {"type": "module", "line": 393, "filename": "imports.72.wasm"}, 
    97    {"type": "assert_return", "line": 399, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    98    {"type": "assert_return", "line": 400, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, 
    99    {"type": "assert_return", "line": 401, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]}, 
   100    {"type": "assert_trap", "line": 402, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]}, 
   101    {"type": "assert_invalid", "line": 405, "filename": "imports.73.wasm", "text": "multiple memories", "module_type": "binary"}, 
   102    {"type": "assert_invalid", "line": 409, "filename": "imports.74.wasm", "text": "multiple memories", "module_type": "binary"}, 
   103    {"type": "assert_invalid", "line": 413, "filename": "imports.75.wasm", "text": "multiple memories", "module_type": "binary"}, 
   104    {"type": "module", "line": 417, "filename": "imports.76.wasm"}, 
   105    {"type": "module", "line": 418, "filename": "imports.77.wasm"}, 
   106    {"type": "module", "line": 419, "filename": "imports.78.wasm"}, 
   107    {"type": "module", "line": 420, "filename": "imports.79.wasm"}, 
   108    {"type": "module", "line": 421, "filename": "imports.80.wasm"}, 
   109    {"type": "module", "line": 422, "filename": "imports.81.wasm"}, 
   110    {"type": "module", "line": 423, "filename": "imports.82.wasm"}, 
   111    {"type": "module", "line": 424, "filename": "imports.83.wasm"}, 
   112    {"type": "module", "line": 425, "filename": "imports.84.wasm"}, 
   113    {"type": "assert_unlinkable", "line": 428, "filename": "imports.85.wasm", "text": "unknown import", "module_type": "binary"}, 
   114    {"type": "assert_unlinkable", "line": 432, "filename": "imports.86.wasm", "text": "unknown import", "module_type": "binary"}, 
   115    {"type": "assert_unlinkable", "line": 437, "filename": "imports.87.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   116    {"type": "assert_unlinkable", "line": 441, "filename": "imports.88.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   117    {"type": "assert_unlinkable", "line": 445, "filename": "imports.89.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   118    {"type": "assert_unlinkable", "line": 449, "filename": "imports.90.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   119    {"type": "assert_unlinkable", "line": 454, "filename": "imports.91.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   120    {"type": "assert_unlinkable", "line": 458, "filename": "imports.92.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   121    {"type": "assert_unlinkable", "line": 462, "filename": "imports.93.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   122    {"type": "assert_unlinkable", "line": 466, "filename": "imports.94.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   123    {"type": "assert_unlinkable", "line": 470, "filename": "imports.95.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   124    {"type": "assert_unlinkable", "line": 474, "filename": "imports.96.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   125    {"type": "assert_unlinkable", "line": 479, "filename": "imports.97.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   126    {"type": "assert_unlinkable", "line": 483, "filename": "imports.98.wasm", "text": "incompatible import type", "module_type": "binary"}, 
   127    {"type": "module", "line": 487, "filename": "imports.99.wasm"}, 
   128    {"type": "assert_return", "line": 491, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   129    {"type": "assert_return", "line": 492, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   130    {"type": "assert_return", "line": 493, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
   131    {"type": "assert_return", "line": 494, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
   132    {"type": "assert_return", "line": 495, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
   133    {"type": "assert_malformed", "line": 501, "filename": "imports.100.wat", "text": "import after function", "module_type": "text"}, 
   134    {"type": "assert_malformed", "line": 505, "filename": "imports.101.wat", "text": "import after function", "module_type": "text"}, 
   135    {"type": "assert_malformed", "line": 509, "filename": "imports.102.wat", "text": "import after function", "module_type": "text"}, 
   136    {"type": "assert_malformed", "line": 513, "filename": "imports.103.wat", "text": "import after function", "module_type": "text"}, 
   137    {"type": "assert_malformed", "line": 518, "filename": "imports.104.wat", "text": "import after global", "module_type": "text"}, 
   138    {"type": "assert_malformed", "line": 522, "filename": "imports.105.wat", "text": "import after global", "module_type": "text"}, 
   139    {"type": "assert_malformed", "line": 526, "filename": "imports.106.wat", "text": "import after global", "module_type": "text"}, 
   140    {"type": "assert_malformed", "line": 530, "filename": "imports.107.wat", "text": "import after global", "module_type": "text"}, 
   141    {"type": "assert_malformed", "line": 535, "filename": "imports.108.wat", "text": "import after table", "module_type": "text"}, 
   142    {"type": "assert_malformed", "line": 539, "filename": "imports.109.wat", "text": "import after table", "module_type": "text"}, 
   143    {"type": "assert_malformed", "line": 543, "filename": "imports.110.wat", "text": "import after table", "module_type": "text"}, 
   144    {"type": "assert_malformed", "line": 547, "filename": "imports.111.wat", "text": "import after table", "module_type": "text"}, 
   145    {"type": "assert_malformed", "line": 552, "filename": "imports.112.wat", "text": "import after memory", "module_type": "text"}, 
   146    {"type": "assert_malformed", "line": 556, "filename": "imports.113.wat", "text": "import after memory", "module_type": "text"}, 
   147    {"type": "assert_malformed", "line": 560, "filename": "imports.114.wat", "text": "import after memory", "module_type": "text"}, 
   148    {"type": "assert_malformed", "line": 564, "filename": "imports.115.wat", "text": "import after memory", "module_type": "text"}, 
   149    {"type": "module", "line": 571, "filename": "imports.116.wasm"}, 
   150    {"type": "register", "line": 572, "as": "not wasm"}, 
   151    {"type": "assert_unlinkable", "line": 574, "filename": "imports.117.wasm", "text": "unknown import", "module_type": "binary"}]}