Errors: 2

Warnings: 0

Successes: 14

ref_is_null.wast

{"type":"module","line":1,"filename":"ref_is_null.0.wasm"}

loaded

{"type":"assert_return","line":30,"action":{"type":"invoke","field":"funcref","args":[{"type":"funcref","value":"null"}]},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke "funcref" (ref.null func)) (i32.const 1))

ok, result

{"type":"assert_return","line":31,"action":{"type":"invoke","field":"externref","args":[{"type":"externref","value":"null"}]},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke "externref" (ref.null extern)) (i32.const 1))

ok, result

{"type":"assert_return","line":33,"action":{"type":"invoke","field":"externref","args":[{"type":"externref","value":"1"}]},"expected":[{"type":"i32","value":"0"}]}

(assert_return (invoke "externref" (ref.extern 1)) (i32.const 0))

ok, result

{"type":"action","line":35,"action":{"type":"invoke","field":"init","args":[{"type":"externref","value":"0"}]}}

action done

{"type":"assert_return","line":37,"action":{"type":"invoke","field":"funcref-elem","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke "funcref-elem" (i32.const 0)) (i32.const 1))

ok, result

{"type":"assert_return","line":38,"action":{"type":"invoke","field":"externref-elem","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke "externref-elem" (i32.const 0)) (i32.const 1))

ok, result

{"type":"assert_return","line":40,"action":{"type":"invoke","field":"funcref-elem","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"0"}]}

(assert_return (invoke "funcref-elem" (i32.const 1)) (i32.const 0))

ok, result

{"type":"assert_return","line":41,"action":{"type":"invoke","field":"externref-elem","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"0"}]}

(assert_return (invoke "externref-elem" (i32.const 1)) (i32.const 0))

ok, result

{"type":"action","line":43,"action":{"type":"invoke","field":"deinit"}}

action done

{"type":"assert_return","line":45,"action":{"type":"invoke","field":"funcref-elem","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke "funcref-elem" (i32.const 0)) (i32.const 1))

ok, result

{"type":"assert_return","line":46,"action":{"type":"invoke","field":"externref-elem","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke "externref-elem" (i32.const 0)) (i32.const 1))

ok, result

{"type":"assert_return","line":48,"action":{"type":"invoke","field":"funcref-elem","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke "funcref-elem" (i32.const 1)) (i32.const 1))

ok, result

{"type":"assert_return","line":49,"action":{"type":"invoke","field":"externref-elem","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke "externref-elem" (i32.const 1)) (i32.const 1))

ok, result

{"type":"assert_invalid","line":52,"filename":"ref_is_null.1.wasm","text":"type mismatch"}

expected error

{"type":"assert_invalid","line":56,"filename":"ref_is_null.2.wasm","text":"type mismatch"}

expected error

Generated at 2024-09-05T14:39:23