{"type":"module","line":6,"filename":"memory_fill.0.wasm"}
loaded
{"type":"action","line":22,"action":{"type":"invoke","field":"test"}}
action done
{"type":"assert_return","line":24,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"0"},{"type":"i32","value":"65280"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 0) (i32.const 65280) (i32.const 0))
ok, result, 3475ms
{"type":"assert_return","line":26,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"65280"},{"type":"i32","value":"65536"},{"type":"i32","value":"85"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 65280) (i32.const 65536) (i32.const 85))
ok, result, 14ms
{"type":"module","line":28,"filename":"memory_fill.1.wasm"}
loaded
{"type":"assert_trap","line":44,"text":"out of bounds memory access","action":{"type":"invoke","field":"test"}}
(assert_trap (invoke "test") "out of bounds memory access")
ok, got error: memory_fill: trap, larger than linear
{"type":"module","line":46,"filename":"memory_fill.2.wasm"}
loaded
{"type":"assert_trap","line":62,"text":"out of bounds memory access","action":{"type":"invoke","field":"test"}}
(assert_trap (invoke "test") "out of bounds memory access")
ok, got error: linear_set: offset is negative
{"type":"module","line":64,"filename":"memory_fill.3.wasm"}
loaded
{"type":"action","line":80,"action":{"type":"invoke","field":"test"}}
action done
{"type":"assert_return","line":82,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"0"},{"type":"i32","value":"65536"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 0) (i32.const 65536) (i32.const 0))
ok, result, 3463ms
{"type":"module","line":84,"filename":"memory_fill.4.wasm"}
loaded
{"type":"action","line":100,"action":{"type":"invoke","field":"test"}}
action done
{"type":"module","line":102,"filename":"memory_fill.5.wasm"}
loaded
{"type":"assert_trap","line":118,"text":"out of bounds memory access","action":{"type":"invoke","field":"test"}}
(assert_trap (invoke "test") "out of bounds memory access")
ok, got error: memory_fill: trap, larger than linear
{"type":"module","line":120,"filename":"memory_fill.6.wasm"}
loaded
{"type":"action","line":136,"action":{"type":"invoke","field":"test"}}
action done
{"type":"assert_return","line":138,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"0"},{"type":"i32","value":"1"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 0) (i32.const 1) (i32.const 0))
ok, result
{"type":"assert_return","line":140,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"1"},{"type":"i32","value":"65535"},{"type":"i32","value":"170"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 1) (i32.const 65535) (i32.const 170))
ok, result, 3490ms
{"type":"assert_return","line":142,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"65535"},{"type":"i32","value":"65536"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 65535) (i32.const 65536) (i32.const 0))
ok, result
{"type":"module","line":145,"filename":"memory_fill.7.wasm"}
loaded
{"type":"action","line":162,"action":{"type":"invoke","field":"test"}}
action done
{"type":"assert_return","line":164,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"0"},{"type":"i32","value":"18"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 0) (i32.const 18) (i32.const 0))
ok, result
{"type":"assert_return","line":166,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"18"},{"type":"i32","value":"21"},{"type":"i32","value":"85"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 18) (i32.const 21) (i32.const 85))
ok, result
{"type":"assert_return","line":168,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"21"},{"type":"i32","value":"25"},{"type":"i32","value":"170"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 21) (i32.const 25) (i32.const 170))
ok, result
{"type":"assert_return","line":170,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"25"},{"type":"i32","value":"28"},{"type":"i32","value":"85"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 25) (i32.const 28) (i32.const 85))
ok, result
{"type":"assert_return","line":172,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"28"},{"type":"i32","value":"65536"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 28) (i32.const 65536) (i32.const 0))
ok, result, 3472ms
{"type":"assert_invalid","line":175,"filename":"memory_fill.8.wasm","text":"unknown memory 0"}
expected error
{"type":"assert_invalid","line":181,"filename":"memory_fill.9.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":188,"filename":"memory_fill.10.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":195,"filename":"memory_fill.11.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":202,"filename":"memory_fill.12.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":209,"filename":"memory_fill.13.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":216,"filename":"memory_fill.14.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":223,"filename":"memory_fill.15.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":230,"filename":"memory_fill.16.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":237,"filename":"memory_fill.17.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":244,"filename":"memory_fill.18.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":251,"filename":"memory_fill.19.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":258,"filename":"memory_fill.20.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":265,"filename":"memory_fill.21.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":272,"filename":"memory_fill.22.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":279,"filename":"memory_fill.23.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":286,"filename":"memory_fill.24.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":293,"filename":"memory_fill.25.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":300,"filename":"memory_fill.26.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":307,"filename":"memory_fill.27.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":314,"filename":"memory_fill.28.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":321,"filename":"memory_fill.29.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":328,"filename":"memory_fill.30.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":335,"filename":"memory_fill.31.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":342,"filename":"memory_fill.32.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":349,"filename":"memory_fill.33.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":356,"filename":"memory_fill.34.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":363,"filename":"memory_fill.35.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":370,"filename":"memory_fill.36.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":377,"filename":"memory_fill.37.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":384,"filename":"memory_fill.38.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":391,"filename":"memory_fill.39.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":398,"filename":"memory_fill.40.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":405,"filename":"memory_fill.41.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":412,"filename":"memory_fill.42.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":419,"filename":"memory_fill.43.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":426,"filename":"memory_fill.44.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":433,"filename":"memory_fill.45.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":440,"filename":"memory_fill.46.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":447,"filename":"memory_fill.47.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":454,"filename":"memory_fill.48.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":461,"filename":"memory_fill.49.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":468,"filename":"memory_fill.50.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":475,"filename":"memory_fill.51.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":482,"filename":"memory_fill.52.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":489,"filename":"memory_fill.53.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":496,"filename":"memory_fill.54.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":503,"filename":"memory_fill.55.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":510,"filename":"memory_fill.56.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":517,"filename":"memory_fill.57.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":524,"filename":"memory_fill.58.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":531,"filename":"memory_fill.59.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":538,"filename":"memory_fill.60.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":545,"filename":"memory_fill.61.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":552,"filename":"memory_fill.62.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":559,"filename":"memory_fill.63.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":566,"filename":"memory_fill.64.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":573,"filename":"memory_fill.65.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":580,"filename":"memory_fill.66.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":587,"filename":"memory_fill.67.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":594,"filename":"memory_fill.68.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":601,"filename":"memory_fill.69.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":608,"filename":"memory_fill.70.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":615,"filename":"memory_fill.71.wasm","text":"type mismatch"}
expected error
{"type":"module","line":621,"filename":"memory_fill.72.wasm"}
loaded
{"type":"assert_trap","line":638,"text":"out of bounds memory access","action":{"type":"invoke","field":"run","args":[{"type":"i32","value":"65280"},{"type":"i32","value":"37"},{"type":"i32","value":"512"}]}}
(assert_trap (invoke "run" (i32.const 65280) (i32.const 37) (i32.const 512))
ok, got error: memory_fill: trap, larger than linear
{"type":"assert_return","line":641,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"0"},{"type":"i32","value":"1"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 0) (i32.const 1) (i32.const 0))
ok, result
{"type":"module","line":643,"filename":"memory_fill.73.wasm"}
loaded
{"type":"assert_trap","line":660,"text":"out of bounds memory access","action":{"type":"invoke","field":"run","args":[{"type":"i32","value":"65279"},{"type":"i32","value":"37"},{"type":"i32","value":"514"}]}}
(assert_trap (invoke "run" (i32.const 65279) (i32.const 37) (i32.const 514))
ok, got error: memory_fill: trap, larger than linear
{"type":"assert_return","line":663,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"0"},{"type":"i32","value":"1"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 0) (i32.const 1) (i32.const 0))
ok, result
{"type":"module","line":665,"filename":"memory_fill.74.wasm"}
loaded
{"type":"assert_trap","line":682,"text":"out of bounds memory access","action":{"type":"invoke","field":"run","args":[{"type":"i32","value":"65279"},{"type":"i32","value":"37"},{"type":"i32","value":"4294967295"}]}}
(assert_trap (invoke "run" (i32.const 65279) (i32.const 37) (i32.const 4294967295))
ok, got error: memory_fill: trap, negative
{"type":"assert_return","line":685,"action":{"type":"invoke","field":"checkRange","args":[{"type":"i32","value":"0"},{"type":"i32","value":"1"},{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "checkRange" (i32.const 0) (i32.const 1) (i32.const 0))
ok, result
Generated at 2024-09-05T14:38:55