{"source_filename": "./bulk.wast", "commands": [ {"type": "module", "line": 2, "filename": "bulk.0.wasm"}, {"type": "module", "line": 6, "filename": "bulk.1.wasm"}, {"type": "module", "line": 13, "filename": "bulk.2.wasm"}, {"type": "action", "line": 27, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "255"}, {"type": "i32", "value": "3"}]}, "expected": []}, {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "assert_return", "line": 29, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "255"}]}, {"type": "assert_return", "line": 30, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "255"}]}, {"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "255"}]}, {"type": "assert_return", "line": 32, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "action", "line": 35, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "48042"}, {"type": "i32", "value": "2"}]}, "expected": []}, {"type": "assert_return", "line": 36, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "170"}]}, {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "170"}]}, {"type": "action", "line": 40, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "65536"}]}, "expected": []}, {"type": "assert_trap", "line": 43, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "65280"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "257"}]}, "text": "out of bounds memory access", "expected": []}, {"type": "assert_return", "line": 45, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65280"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65535"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "action", "line": 49, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []}, {"type": "assert_trap", "line": 52, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []}, {"type": "module", "line": 57, "filename": "bulk.3.wasm"}, {"type": "action", "line": 71, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}]}, "expected": []}, {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "assert_return", "line": 74, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "170"}]}, {"type": "assert_return", "line": 75, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "187"}]}, {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "204"}]}, {"type": "assert_return", "line": 77, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "221"}]}, {"type": "assert_return", "line": 78, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "14"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "action", "line": 81, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "10"}, {"type": "i32", "value": "4"}]}, "expected": []}, {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "170"}]}, {"type": "assert_return", "line": 83, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "187"}]}, {"type": "assert_return", "line": 84, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "204"}]}, {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "221"}]}, {"type": "assert_return", "line": 86, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "204"}]}, {"type": "assert_return", "line": 87, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "221"}]}, {"type": "action", "line": 90, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "7"}, {"type": "i32", "value": "6"}]}, "expected": []}, {"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "assert_return", "line": 92, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "170"}]}, {"type": "assert_return", "line": 93, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "187"}]}, {"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "204"}]}, {"type": "assert_return", "line": 95, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "14"}]}, "expected": [{"type": "i32", "value": "221"}]}, {"type": "assert_return", "line": 96, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "15"}]}, "expected": [{"type": "i32", "value": "204"}]}, {"type": "assert_return", "line": 97, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "action", "line": 100, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65280"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "256"}]}, "expected": []}, {"type": "action", "line": 101, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65024"}, {"type": "i32", "value": "65280"}, {"type": "i32", "value": "256"}]}, "expected": []}, {"type": "action", "line": 104, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []}, {"type": "action", "line": 105, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}]}, "expected": []}, {"type": "assert_trap", "line": 108, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []}, {"type": "assert_trap", "line": 110, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []}, {"type": "module", "line": 115, "filename": "bulk.4.wasm"}, {"type": "action", "line": 129, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}]}, "expected": []}, {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "187"}]}, {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "204"}]}, {"type": "assert_return", "line": 132, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "action", "line": 135, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65532"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}]}, "expected": []}, {"type": "assert_trap", "line": 138, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65534"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "3"}]}, "text": "out of bounds memory access", "expected": []}, {"type": "assert_return", "line": 140, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65534"}]}, "expected": [{"type": "i32", "value": "204"}]}, {"type": "assert_return", "line": 141, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65535"}]}, "expected": [{"type": "i32", "value": "221"}]}, {"type": "action", "line": 144, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []}, {"type": "action", "line": 145, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}, {"type": "i32", "value": "0"}]}, "expected": []}, {"type": "assert_trap", "line": 148, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []}, {"type": "assert_trap", "line": 150, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "5"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []}, {"type": "module", "line": 154, "filename": "bulk.5.wasm"}, {"type": "action", "line": 168, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, {"type": "action", "line": 169, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []}, {"type": "action", "line": 170, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []}, {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, {"type": "assert_trap", "line": 172, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds memory access", "expected": []}, {"type": "action", "line": 173, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, {"type": "action", "line": 174, "action": {"type": "invoke", "field": "drop_active", "args": []}, "expected": []}, {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, {"type": "assert_trap", "line": 176, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds memory access", "expected": []}, {"type": "action", "line": 177, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, {"type": "module", "line": 181, "filename": "bulk.6.wasm"}, {"type": "module", "line": 196, "filename": "bulk.7.wasm"}, {"type": "module", "line": 199, "filename": "bulk.8.wasm"}, {"type": "assert_trap", "line": 219, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "2"}]}, "text": "out of bounds table access", "expected": []}, {"type": "assert_trap", "line": 221, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "text": "uninitialized element 2", "expected": [{"type": "i32"}]}, {"type": "action", "line": 224, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}]}, "expected": []}, {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "assert_trap", "line": 227, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, {"type": "action", "line": 230, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}, {"type": "i32", "value": "2"}]}, "expected": []}, {"type": "action", "line": 233, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []}, {"type": "action", "line": 234, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}, {"type": "i32", "value": "0"}]}, "expected": []}, {"type": "assert_trap", "line": 237, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "4"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []}, {"type": "assert_trap", "line": 239, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "5"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []}, {"type": "module", "line": 244, "filename": "bulk.9.wasm"}, {"type": "action", "line": 261, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, {"type": "action", "line": 262, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []}, {"type": "action", "line": 263, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []}, {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, {"type": "assert_trap", "line": 265, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds table access", "expected": []}, {"type": "action", "line": 266, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, {"type": "action", "line": 267, "action": {"type": "invoke", "field": "drop_active", "args": []}, "expected": []}, {"type": "assert_return", "line": 268, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, {"type": "assert_trap", "line": 269, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds table access", "expected": []}, {"type": "action", "line": 270, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, {"type": "module", "line": 274, "filename": "bulk.10.wasm"}, {"type": "module", "line": 297, "filename": "bulk.11.wasm"}, {"type": "module", "line": 300, "filename": "bulk.12.wasm"}, {"type": "action", "line": 319, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "3"}]}, "expected": []}, {"type": "assert_return", "line": 321, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "assert_return", "line": 322, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "1"}]}, {"type": "assert_return", "line": 323, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "2"}]}, {"type": "action", "line": 326, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "3"}]}, "expected": []}, {"type": "assert_return", "line": 328, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, {"type": "assert_return", "line": 329, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, {"type": "assert_return", "line": 330, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "action", "line": 333, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "3"}]}, "expected": []}, {"type": "assert_return", "line": 335, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "1"}]}, {"type": "assert_return", "line": 336, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "2"}]}, {"type": "assert_return", "line": 337, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "0"}]}, {"type": "action", "line": 340, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "6"}, {"type": "i32", "value": "8"}, {"type": "i32", "value": "2"}]}, "expected": []}, {"type": "action", "line": 341, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "6"}, {"type": "i32", "value": "2"}]}, "expected": []}, {"type": "action", "line": 344, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []}, {"type": "action", "line": 345, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "10"}, {"type": "i32", "value": "0"}]}, "expected": []}, {"type": "assert_trap", "line": 348, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "11"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []}, {"type": "assert_trap", "line": 350, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "11"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []}]}