Home

Errors: 2

Warnings: 0

Successes: 26


switch.wast

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

loaded

{"type":"assert_return","line":120,"action":{"type":"invoke","field":"stmt","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "stmt" (i32.const 0)) (i32.const 0))

ok, result

{"type":"assert_return","line":121,"action":{"type":"invoke","field":"stmt","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "stmt" (i32.const 1)) (i32.const -1))

ok, result

{"type":"assert_return","line":122,"action":{"type":"invoke","field":"stmt","args":[{"type":"i32","value":"2"}]},"expected":[{"type":"i32","value":"4294967294"}]}
(assert_return (invoke "stmt" (i32.const 2)) (i32.const -2))

ok, result

{"type":"assert_return","line":123,"action":{"type":"invoke","field":"stmt","args":[{"type":"i32","value":"3"}]},"expected":[{"type":"i32","value":"4294967293"}]}
(assert_return (invoke "stmt" (i32.const 3)) (i32.const -3))

ok, result

{"type":"assert_return","line":124,"action":{"type":"invoke","field":"stmt","args":[{"type":"i32","value":"4"}]},"expected":[{"type":"i32","value":"100"}]}
(assert_return (invoke "stmt" (i32.const 4)) (i32.const 100))

ok, result

{"type":"assert_return","line":125,"action":{"type":"invoke","field":"stmt","args":[{"type":"i32","value":"5"}]},"expected":[{"type":"i32","value":"101"}]}
(assert_return (invoke "stmt" (i32.const 5)) (i32.const 101))

ok, result

{"type":"assert_return","line":126,"action":{"type":"invoke","field":"stmt","args":[{"type":"i32","value":"6"}]},"expected":[{"type":"i32","value":"102"}]}
(assert_return (invoke "stmt" (i32.const 6)) (i32.const 102))

ok, result

{"type":"assert_return","line":127,"action":{"type":"invoke","field":"stmt","args":[{"type":"i32","value":"7"}]},"expected":[{"type":"i32","value":"100"}]}
(assert_return (invoke "stmt" (i32.const 7)) (i32.const 100))

ok, result

{"type":"assert_return","line":128,"action":{"type":"invoke","field":"stmt","args":[{"type":"i32","value":"4294967286"}]},"expected":[{"type":"i32","value":"102"}]}
(assert_return (invoke "stmt" (i32.const -10)) (i32.const 102))

ok, result

{"type":"assert_return","line":130,"action":{"type":"invoke","field":"expr","args":[{"type":"i64","value":"0"}]},"expected":[{"type":"i64","value":"0"}]}
(assert_return (invoke "expr" (i64.const 0)) (i64.const 0))

ok, result

{"type":"assert_return","line":131,"action":{"type":"invoke","field":"expr","args":[{"type":"i64","value":"1"}]},"expected":[{"type":"i64","value":"18446744073709551615"}]}
(assert_return (invoke "expr" (i64.const 1)) (i64.const -1))

ok, result

{"type":"assert_return","line":132,"action":{"type":"invoke","field":"expr","args":[{"type":"i64","value":"2"}]},"expected":[{"type":"i64","value":"18446744073709551614"}]}
(assert_return (invoke "expr" (i64.const 2)) (i64.const -2))

ok, result

{"type":"assert_return","line":133,"action":{"type":"invoke","field":"expr","args":[{"type":"i64","value":"3"}]},"expected":[{"type":"i64","value":"18446744073709551613"}]}
(assert_return (invoke "expr" (i64.const 3)) (i64.const -3))

ok, result

{"type":"assert_return","line":134,"action":{"type":"invoke","field":"expr","args":[{"type":"i64","value":"6"}]},"expected":[{"type":"i64","value":"101"}]}
(assert_return (invoke "expr" (i64.const 6)) (i64.const 101))

ok, result

{"type":"assert_return","line":135,"action":{"type":"invoke","field":"expr","args":[{"type":"i64","value":"7"}]},"expected":[{"type":"i64","value":"18446744073709551611"}]}
(assert_return (invoke "expr" (i64.const 7)) (i64.const -5))

ok, result

{"type":"assert_return","line":136,"action":{"type":"invoke","field":"expr","args":[{"type":"i64","value":"18446744073709551606"}]},"expected":[{"type":"i64","value":"100"}]}
(assert_return (invoke "expr" (i64.const -10)) (i64.const 100))

exception: i64, from_unsigned, value too long, todo, "18446744073709551606"

{"type":"assert_return","line":138,"action":{"type":"invoke","field":"arg","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"110"}]}
(assert_return (invoke "arg" (i32.const 0)) (i32.const 110))

ok, result

{"type":"assert_return","line":139,"action":{"type":"invoke","field":"arg","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"12"}]}
(assert_return (invoke "arg" (i32.const 1)) (i32.const 12))

ok, result

{"type":"assert_return","line":140,"action":{"type":"invoke","field":"arg","args":[{"type":"i32","value":"2"}]},"expected":[{"type":"i32","value":"4"}]}
(assert_return (invoke "arg" (i32.const 2)) (i32.const 4))

ok, result

{"type":"assert_return","line":141,"action":{"type":"invoke","field":"arg","args":[{"type":"i32","value":"3"}]},"expected":[{"type":"i32","value":"1116"}]}
(assert_return (invoke "arg" (i32.const 3)) (i32.const 1116))

ok, result

{"type":"assert_return","line":142,"action":{"type":"invoke","field":"arg","args":[{"type":"i32","value":"4"}]},"expected":[{"type":"i32","value":"118"}]}
(assert_return (invoke "arg" (i32.const 4)) (i32.const 118))

ok, result

{"type":"assert_return","line":143,"action":{"type":"invoke","field":"arg","args":[{"type":"i32","value":"5"}]},"expected":[{"type":"i32","value":"20"}]}
(assert_return (invoke "arg" (i32.const 5)) (i32.const 20))

ok, result

{"type":"assert_return","line":144,"action":{"type":"invoke","field":"arg","args":[{"type":"i32","value":"6"}]},"expected":[{"type":"i32","value":"12"}]}
(assert_return (invoke "arg" (i32.const 6)) (i32.const 12))

ok, result

{"type":"assert_return","line":145,"action":{"type":"invoke","field":"arg","args":[{"type":"i32","value":"7"}]},"expected":[{"type":"i32","value":"1124"}]}
(assert_return (invoke "arg" (i32.const 7)) (i32.const 1124))

ok, result

{"type":"assert_return","line":146,"action":{"type":"invoke","field":"arg","args":[{"type":"i32","value":"8"}]},"expected":[{"type":"i32","value":"126"}]}
(assert_return (invoke "arg" (i32.const 8)) (i32.const 126))

ok, result

{"type":"assert_return","line":148,"action":{"type":"invoke","field":"corner"},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "corner") (i32.const 1))

ok, result

{"type":"assert_invalid","line":150,"filename":"switch.1.wasm","text":"unknown label"}

expected error

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