github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v1/testdata/unreached-invalid.json (about)

     1  {"source_filename": "./unreached-invalid.wast",
     2   "commands": [
     3    {"type": "assert_invalid", "line": 4, "filename": "unreached-invalid.0.wasm", "text": "unknown local", "module_type": "binary"}, 
     4    {"type": "assert_invalid", "line": 8, "filename": "unreached-invalid.1.wasm", "text": "unknown global", "module_type": "binary"}, 
     5    {"type": "assert_invalid", "line": 12, "filename": "unreached-invalid.2.wasm", "text": "unknown function", "module_type": "binary"}, 
     6    {"type": "assert_invalid", "line": 16, "filename": "unreached-invalid.3.wasm", "text": "unknown label", "module_type": "binary"}, 
     7    {"type": "assert_invalid", "line": 21, "filename": "unreached-invalid.4.wasm", "text": "type mismatch", "module_type": "binary"}, 
     8    {"type": "assert_invalid", "line": 27, "filename": "unreached-invalid.5.wasm", "text": "type mismatch", "module_type": "binary"}, 
     9    {"type": "assert_invalid", "line": 33, "filename": "unreached-invalid.6.wasm", "text": "type mismatch", "module_type": "binary"}, 
    10    {"type": "assert_invalid", "line": 42, "filename": "unreached-invalid.7.wasm", "text": "type mismatch", "module_type": "binary"}, 
    11    {"type": "assert_invalid", "line": 46, "filename": "unreached-invalid.8.wasm", "text": "type mismatch", "module_type": "binary"}, 
    12    {"type": "assert_invalid", "line": 50, "filename": "unreached-invalid.9.wasm", "text": "type mismatch", "module_type": "binary"}, 
    13    {"type": "assert_invalid", "line": 56, "filename": "unreached-invalid.10.wasm", "text": "type mismatch", "module_type": "binary"}, 
    14    {"type": "assert_invalid", "line": 60, "filename": "unreached-invalid.11.wasm", "text": "type mismatch", "module_type": "binary"}, 
    15    {"type": "assert_invalid", "line": 64, "filename": "unreached-invalid.12.wasm", "text": "type mismatch", "module_type": "binary"}, 
    16    {"type": "assert_invalid", "line": 71, "filename": "unreached-invalid.13.wasm", "text": "type mismatch", "module_type": "binary"}, 
    17    {"type": "assert_invalid", "line": 77, "filename": "unreached-invalid.14.wasm", "text": "type mismatch", "module_type": "binary"}, 
    18    {"type": "assert_invalid", "line": 83, "filename": "unreached-invalid.15.wasm", "text": "type mismatch", "module_type": "binary"}, 
    19    {"type": "assert_invalid", "line": 89, "filename": "unreached-invalid.16.wasm", "text": "type mismatch", "module_type": "binary"}, 
    20    {"type": "assert_invalid", "line": 95, "filename": "unreached-invalid.17.wasm", "text": "type mismatch", "module_type": "binary"}, 
    21    {"type": "assert_invalid", "line": 101, "filename": "unreached-invalid.18.wasm", "text": "type mismatch", "module_type": "binary"}, 
    22    {"type": "assert_invalid", "line": 107, "filename": "unreached-invalid.19.wasm", "text": "type mismatch", "module_type": "binary"}, 
    23    {"type": "assert_invalid", "line": 113, "filename": "unreached-invalid.20.wasm", "text": "type mismatch", "module_type": "binary"}, 
    24    {"type": "assert_invalid", "line": 119, "filename": "unreached-invalid.21.wasm", "text": "type mismatch", "module_type": "binary"}, 
    25    {"type": "assert_invalid", "line": 125, "filename": "unreached-invalid.22.wasm", "text": "type mismatch", "module_type": "binary"}, 
    26    {"type": "assert_invalid", "line": 132, "filename": "unreached-invalid.23.wasm", "text": "type mismatch", "module_type": "binary"}, 
    27    {"type": "assert_invalid", "line": 138, "filename": "unreached-invalid.24.wasm", "text": "type mismatch", "module_type": "binary"}, 
    28    {"type": "assert_invalid", "line": 144, "filename": "unreached-invalid.25.wasm", "text": "type mismatch", "module_type": "binary"}, 
    29    {"type": "assert_invalid", "line": 150, "filename": "unreached-invalid.26.wasm", "text": "type mismatch", "module_type": "binary"}, 
    30    {"type": "assert_invalid", "line": 156, "filename": "unreached-invalid.27.wasm", "text": "type mismatch", "module_type": "binary"}, 
    31    {"type": "assert_invalid", "line": 162, "filename": "unreached-invalid.28.wasm", "text": "type mismatch", "module_type": "binary"}, 
    32    {"type": "assert_invalid", "line": 168, "filename": "unreached-invalid.29.wasm", "text": "type mismatch", "module_type": "binary"}, 
    33    {"type": "assert_invalid", "line": 174, "filename": "unreached-invalid.30.wasm", "text": "type mismatch", "module_type": "binary"}, 
    34    {"type": "assert_invalid", "line": 180, "filename": "unreached-invalid.31.wasm", "text": "type mismatch", "module_type": "binary"}, 
    35    {"type": "assert_invalid", "line": 186, "filename": "unreached-invalid.32.wasm", "text": "type mismatch", "module_type": "binary"}, 
    36    {"type": "assert_invalid", "line": 193, "filename": "unreached-invalid.33.wasm", "text": "type mismatch", "module_type": "binary"}, 
    37    {"type": "assert_invalid", "line": 199, "filename": "unreached-invalid.34.wasm", "text": "type mismatch", "module_type": "binary"}, 
    38    {"type": "assert_invalid", "line": 205, "filename": "unreached-invalid.35.wasm", "text": "type mismatch", "module_type": "binary"}, 
    39    {"type": "assert_invalid", "line": 211, "filename": "unreached-invalid.36.wasm", "text": "type mismatch", "module_type": "binary"}, 
    40    {"type": "assert_invalid", "line": 217, "filename": "unreached-invalid.37.wasm", "text": "type mismatch", "module_type": "binary"}, 
    41    {"type": "assert_invalid", "line": 223, "filename": "unreached-invalid.38.wasm", "text": "type mismatch", "module_type": "binary"}, 
    42    {"type": "assert_invalid", "line": 229, "filename": "unreached-invalid.39.wasm", "text": "type mismatch", "module_type": "binary"}, 
    43    {"type": "assert_invalid", "line": 235, "filename": "unreached-invalid.40.wasm", "text": "type mismatch", "module_type": "binary"}, 
    44    {"type": "assert_invalid", "line": 241, "filename": "unreached-invalid.41.wasm", "text": "type mismatch", "module_type": "binary"}, 
    45    {"type": "assert_invalid", "line": 247, "filename": "unreached-invalid.42.wasm", "text": "type mismatch", "module_type": "binary"}, 
    46    {"type": "assert_invalid", "line": 253, "filename": "unreached-invalid.43.wasm", "text": "type mismatch", "module_type": "binary"}, 
    47    {"type": "assert_invalid", "line": 259, "filename": "unreached-invalid.44.wasm", "text": "type mismatch", "module_type": "binary"}, 
    48    {"type": "assert_invalid", "line": 265, "filename": "unreached-invalid.45.wasm", "text": "type mismatch", "module_type": "binary"}, 
    49    {"type": "assert_invalid", "line": 271, "filename": "unreached-invalid.46.wasm", "text": "type mismatch", "module_type": "binary"}, 
    50    {"type": "assert_invalid", "line": 277, "filename": "unreached-invalid.47.wasm", "text": "type mismatch", "module_type": "binary"}, 
    51    {"type": "assert_invalid", "line": 284, "filename": "unreached-invalid.48.wasm", "text": "type mismatch", "module_type": "binary"}, 
    52    {"type": "assert_invalid", "line": 290, "filename": "unreached-invalid.49.wasm", "text": "type mismatch", "module_type": "binary"}, 
    53    {"type": "assert_invalid", "line": 296, "filename": "unreached-invalid.50.wasm", "text": "type mismatch", "module_type": "binary"}, 
    54    {"type": "assert_invalid", "line": 302, "filename": "unreached-invalid.51.wasm", "text": "type mismatch", "module_type": "binary"}, 
    55    {"type": "assert_invalid", "line": 308, "filename": "unreached-invalid.52.wasm", "text": "type mismatch", "module_type": "binary"}, 
    56    {"type": "assert_invalid", "line": 314, "filename": "unreached-invalid.53.wasm", "text": "type mismatch", "module_type": "binary"}, 
    57    {"type": "assert_invalid", "line": 321, "filename": "unreached-invalid.54.wasm", "text": "type mismatch", "module_type": "binary"}, 
    58    {"type": "assert_invalid", "line": 327, "filename": "unreached-invalid.55.wasm", "text": "type mismatch", "module_type": "binary"}, 
    59    {"type": "assert_invalid", "line": 334, "filename": "unreached-invalid.56.wasm", "text": "type mismatch", "module_type": "binary"}, 
    60    {"type": "assert_invalid", "line": 340, "filename": "unreached-invalid.57.wasm", "text": "type mismatch", "module_type": "binary"}, 
    61    {"type": "assert_invalid", "line": 348, "filename": "unreached-invalid.58.wasm", "text": "type mismatch", "module_type": "binary"}, 
    62    {"type": "assert_invalid", "line": 354, "filename": "unreached-invalid.59.wasm", "text": "type mismatch", "module_type": "binary"}, 
    63    {"type": "assert_invalid", "line": 360, "filename": "unreached-invalid.60.wasm", "text": "type mismatch", "module_type": "binary"}, 
    64    {"type": "assert_invalid", "line": 366, "filename": "unreached-invalid.61.wasm", "text": "type mismatch", "module_type": "binary"}, 
    65    {"type": "assert_invalid", "line": 372, "filename": "unreached-invalid.62.wasm", "text": "type mismatch", "module_type": "binary"}, 
    66    {"type": "assert_invalid", "line": 378, "filename": "unreached-invalid.63.wasm", "text": "type mismatch", "module_type": "binary"}, 
    67    {"type": "assert_invalid", "line": 384, "filename": "unreached-invalid.64.wasm", "text": "type mismatch", "module_type": "binary"}, 
    68    {"type": "assert_invalid", "line": 390, "filename": "unreached-invalid.65.wasm", "text": "type mismatch", "module_type": "binary"}, 
    69    {"type": "assert_invalid", "line": 396, "filename": "unreached-invalid.66.wasm", "text": "type mismatch", "module_type": "binary"}, 
    70    {"type": "assert_invalid", "line": 402, "filename": "unreached-invalid.67.wasm", "text": "type mismatch", "module_type": "binary"}, 
    71    {"type": "assert_invalid", "line": 409, "filename": "unreached-invalid.68.wasm", "text": "type mismatch", "module_type": "binary"}, 
    72    {"type": "assert_invalid", "line": 415, "filename": "unreached-invalid.69.wasm", "text": "type mismatch", "module_type": "binary"}, 
    73    {"type": "assert_invalid", "line": 421, "filename": "unreached-invalid.70.wasm", "text": "type mismatch", "module_type": "binary"}, 
    74    {"type": "assert_invalid", "line": 427, "filename": "unreached-invalid.71.wasm", "text": "type mismatch", "module_type": "binary"}, 
    75    {"type": "assert_invalid", "line": 433, "filename": "unreached-invalid.72.wasm", "text": "type mismatch", "module_type": "binary"}, 
    76    {"type": "assert_invalid", "line": 439, "filename": "unreached-invalid.73.wasm", "text": "type mismatch", "module_type": "binary"}, 
    77    {"type": "assert_invalid", "line": 445, "filename": "unreached-invalid.74.wasm", "text": "type mismatch", "module_type": "binary"}, 
    78    {"type": "assert_invalid", "line": 451, "filename": "unreached-invalid.75.wasm", "text": "type mismatch", "module_type": "binary"}, 
    79    {"type": "assert_invalid", "line": 457, "filename": "unreached-invalid.76.wasm", "text": "type mismatch", "module_type": "binary"}, 
    80    {"type": "assert_invalid", "line": 463, "filename": "unreached-invalid.77.wasm", "text": "type mismatch", "module_type": "binary"}, 
    81    {"type": "assert_invalid", "line": 470, "filename": "unreached-invalid.78.wasm", "text": "type mismatch", "module_type": "binary"}, 
    82    {"type": "assert_invalid", "line": 477, "filename": "unreached-invalid.79.wasm", "text": "type mismatch", "module_type": "binary"}, 
    83    {"type": "assert_invalid", "line": 484, "filename": "unreached-invalid.80.wasm", "text": "type mismatch", "module_type": "binary"}, 
    84    {"type": "assert_invalid", "line": 490, "filename": "unreached-invalid.81.wasm", "text": "type mismatch", "module_type": "binary"}, 
    85    {"type": "assert_invalid", "line": 498, "filename": "unreached-invalid.82.wasm", "text": "type mismatch", "module_type": "binary"}, 
    86    {"type": "assert_invalid", "line": 507, "filename": "unreached-invalid.83.wasm", "text": "type mismatch", "module_type": "binary"}, 
    87    {"type": "assert_invalid", "line": 515, "filename": "unreached-invalid.84.wasm", "text": "type mismatch", "module_type": "binary"}, 
    88    {"type": "assert_invalid", "line": 521, "filename": "unreached-invalid.85.wasm", "text": "type mismatch", "module_type": "binary"}, 
    89    {"type": "assert_invalid", "line": 527, "filename": "unreached-invalid.86.wasm", "text": "type mismatch", "module_type": "binary"}, 
    90    {"type": "assert_invalid", "line": 539, "filename": "unreached-invalid.87.wasm", "text": "type mismatch", "module_type": "binary"}, 
    91    {"type": "assert_invalid", "line": 554, "filename": "unreached-invalid.88.wasm", "text": "type mismatch", "module_type": "binary"}, 
    92    {"type": "assert_invalid", "line": 560, "filename": "unreached-invalid.89.wasm", "text": "type mismatch", "module_type": "binary"}, 
    93    {"type": "assert_invalid", "line": 566, "filename": "unreached-invalid.90.wasm", "text": "type mismatch", "module_type": "binary"}, 
    94    {"type": "assert_invalid", "line": 572, "filename": "unreached-invalid.91.wasm", "text": "type mismatch", "module_type": "binary"}, 
    95    {"type": "assert_invalid", "line": 579, "filename": "unreached-invalid.92.wasm", "text": "type mismatch", "module_type": "binary"}, 
    96    {"type": "assert_invalid", "line": 585, "filename": "unreached-invalid.93.wasm", "text": "type mismatch", "module_type": "binary"}, 
    97    {"type": "assert_invalid", "line": 591, "filename": "unreached-invalid.94.wasm", "text": "type mismatch", "module_type": "binary"}, 
    98    {"type": "assert_invalid", "line": 598, "filename": "unreached-invalid.95.wasm", "text": "type mismatch", "module_type": "binary"}, 
    99    {"type": "assert_invalid", "line": 604, "filename": "unreached-invalid.96.wasm", "text": "type mismatch", "module_type": "binary"}, 
   100    {"type": "assert_invalid", "line": 610, "filename": "unreached-invalid.97.wasm", "text": "type mismatch", "module_type": "binary"}, 
   101    {"type": "assert_invalid", "line": 618, "filename": "unreached-invalid.98.wasm", "text": "type mismatch", "module_type": "binary"}, 
   102    {"type": "assert_invalid", "line": 625, "filename": "unreached-invalid.99.wasm", "text": "type mismatch", "module_type": "binary"}, 
   103    {"type": "assert_invalid", "line": 631, "filename": "unreached-invalid.100.wasm", "text": "type mismatch", "module_type": "binary"}, 
   104    {"type": "assert_invalid", "line": 637, "filename": "unreached-invalid.101.wasm", "text": "type mismatch", "module_type": "binary"}, 
   105    {"type": "assert_invalid", "line": 643, "filename": "unreached-invalid.102.wasm", "text": "type mismatch", "module_type": "binary"}, 
   106    {"type": "assert_invalid", "line": 651, "filename": "unreached-invalid.103.wasm", "text": "type mismatch", "module_type": "binary"}, 
   107    {"type": "assert_invalid", "line": 657, "filename": "unreached-invalid.104.wasm", "text": "type mismatch", "module_type": "binary"}, 
   108    {"type": "assert_invalid", "line": 663, "filename": "unreached-invalid.105.wasm", "text": "type mismatch", "module_type": "binary"}, 
   109    {"type": "assert_invalid", "line": 670, "filename": "unreached-invalid.106.wasm", "text": "type mismatch", "module_type": "binary"}, 
   110    {"type": "assert_invalid", "line": 676, "filename": "unreached-invalid.107.wasm", "text": "type mismatch", "module_type": "binary"}, 
   111    {"type": "assert_invalid", "line": 683, "filename": "unreached-invalid.108.wasm", "text": "type mismatch", "module_type": "binary"}, 
   112    {"type": "assert_invalid", "line": 690, "filename": "unreached-invalid.109.wasm", "text": "type mismatch", "module_type": "binary"}, 
   113    {"type": "assert_invalid", "line": 701, "filename": "unreached-invalid.110.wasm", "text": "type mismatch", "module_type": "binary"}]}