Home

Errors: 0

Warnings: 0

Successes: 7


unreached-valid.wast

{"type":"module","line":1,"filename":"unreached-valid.0.wasm"}

loaded

{"type":"assert_trap","line":42,"text":"unreachable","action":{"type":"invoke","field":"select-trap-left","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "select-trap-left" (i32.const 1)) "unreachable")

ok, got error: instruction zcl_wasm_unreachable

{"type":"assert_trap","line":43,"text":"unreachable","action":{"type":"invoke","field":"select-trap-left","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "select-trap-left" (i32.const 0)) "unreachable")

ok, got error: instruction zcl_wasm_unreachable

{"type":"assert_trap","line":44,"text":"unreachable","action":{"type":"invoke","field":"select-trap-right","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "select-trap-right" (i32.const 1)) "unreachable")

ok, got error: instruction zcl_wasm_unreachable

{"type":"assert_trap","line":45,"text":"unreachable","action":{"type":"invoke","field":"select-trap-right","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32"}]}
(assert_trap (invoke "select-trap-right" (i32.const 0)) "unreachable")

ok, got error: instruction zcl_wasm_unreachable

{"type":"module","line":49,"filename":"unreached-valid.1.wasm"}

loaded

{"type":"assert_trap","line":63,"text":"unreachable","action":{"type":"invoke","field":"meet-bottom"}}
(assert_trap (invoke "meet-bottom") "unreachable")

ok, got error: instruction zcl_wasm_unreachable

Generated at 2024-09-05T14:40:42