{"type":"module","line":1,"filename":"table_grow.0.wasm"}
loaded
{"type":"assert_return","line":16,"action":{"type":"invoke","field":"size"},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "size") (i32.const 0))
ok, result
{"type":"assert_trap","line":17,"text":"out of bounds table access","action":{"type":"invoke","field":"set","args":[{"type":"i32","value":"0"},{"type":"externref","value":"2"}]}}
(assert_trap (invoke "set" (i32.const 0) (ref.extern 2)) "out of bounds table access")
ok, got error: zcl_wasm_memory: table_get, out of bounds
{"type":"assert_trap","line":18,"text":"out of bounds table access","action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"externref"}]}
(assert_trap (invoke "get" (i32.const 0)) "out of bounds table access")
ok, got error: zcl_wasm_memory: table_get, out of bounds
{"type":"assert_return","line":20,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"1"},{"type":"externref","value":"null"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "grow" (i32.const 1) (ref.null extern)) (i32.const 0))
ok, result
{"type":"assert_return","line":21,"action":{"type":"invoke","field":"size"},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "size") (i32.const 1))
ok, result
{"type":"assert_return","line":22,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"externref","value":"null"}]}
(assert_return (invoke "get" (i32.const 0)) (ref.null extern))
ok, result
{"type":"assert_return","line":23,"action":{"type":"invoke","field":"set","args":[{"type":"i32","value":"0"},{"type":"externref","value":"2"}]}}
(assert_return (invoke "set" (i32.const 0) (ref.extern 2)))
ok, result
{"type":"assert_return","line":24,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"externref","value":"2"}]}
(assert_return (invoke "get" (i32.const 0)) (ref.extern 2))
ok, result
{"type":"assert_trap","line":25,"text":"out of bounds table access","action":{"type":"invoke","field":"set","args":[{"type":"i32","value":"1"},{"type":"externref","value":"2"}]}}
(assert_trap (invoke "set" (i32.const 1) (ref.extern 2)) "out of bounds table access")
ok, got error: zcl_wasm_memory: table_get, out of bounds
{"type":"assert_trap","line":26,"text":"out of bounds table access","action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"externref"}]}
(assert_trap (invoke "get" (i32.const 1)) "out of bounds table access")
ok, got error: zcl_wasm_memory: table_get, out of bounds
{"type":"assert_return","line":28,"action":{"type":"invoke","field":"grow-abbrev","args":[{"type":"i32","value":"4"},{"type":"externref","value":"3"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "grow-abbrev" (i32.const 4) (ref.extern 3)) (i32.const 1))
ok, result
{"type":"assert_return","line":29,"action":{"type":"invoke","field":"size"},"expected":[{"type":"i32","value":"5"}]}
(assert_return (invoke "size") (i32.const 5))
ok, result
{"type":"assert_return","line":30,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"externref","value":"2"}]}
(assert_return (invoke "get" (i32.const 0)) (ref.extern 2))
ok, result
{"type":"assert_return","line":31,"action":{"type":"invoke","field":"set","args":[{"type":"i32","value":"0"},{"type":"externref","value":"2"}]}}
(assert_return (invoke "set" (i32.const 0) (ref.extern 2)))
ok, result
{"type":"assert_return","line":32,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"externref","value":"2"}]}
(assert_return (invoke "get" (i32.const 0)) (ref.extern 2))
ok, result
{"type":"assert_return","line":33,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"externref","value":"3"}]}
(assert_return (invoke "get" (i32.const 1)) (ref.extern 3))
ok, result
{"type":"assert_return","line":34,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"4"}]},"expected":[{"type":"externref","value":"3"}]}
(assert_return (invoke "get" (i32.const 4)) (ref.extern 3))
ok, result
{"type":"assert_return","line":35,"action":{"type":"invoke","field":"set","args":[{"type":"i32","value":"4"},{"type":"externref","value":"4"}]}}
(assert_return (invoke "set" (i32.const 4) (ref.extern 4)))
ok, result
{"type":"assert_return","line":36,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"4"}]},"expected":[{"type":"externref","value":"4"}]}
(assert_return (invoke "get" (i32.const 4)) (ref.extern 4))
ok, result
{"type":"assert_trap","line":37,"text":"out of bounds table access","action":{"type":"invoke","field":"set","args":[{"type":"i32","value":"5"},{"type":"externref","value":"2"}]}}
(assert_trap (invoke "set" (i32.const 5) (ref.extern 2)) "out of bounds table access")
ok, got error: zcl_wasm_memory: table_get, out of bounds
{"type":"assert_trap","line":38,"text":"out of bounds table access","action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"5"}]},"expected":[{"type":"externref"}]}
(assert_trap (invoke "get" (i32.const 5)) "out of bounds table access")
ok, got error: zcl_wasm_memory: table_get, out of bounds
{"type":"module","line":42,"filename":"table_grow.1.wasm"}
loaded
{"type":"assert_return","line":50,"action":{"type":"invoke","field":"grow"},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "grow") (i32.const -1))
exception: todo, execute instruction zcl_wasm_ref_func
{"type":"module","line":53,"filename":"table_grow.2.wasm"}
loaded
{"type":"assert_return","line":60,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "grow" (i32.const 0)) (i32.const 0))
ok, result
{"type":"assert_return","line":61,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "grow" (i32.const 1)) (i32.const 0))
ok, result
{"type":"assert_return","line":62,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "grow" (i32.const 0)) (i32.const 1))
ok, result
{"type":"assert_return","line":63,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"2"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "grow" (i32.const 2)) (i32.const 1))
ok, result
{"type":"assert_return","line":64,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"800"}]},"expected":[{"type":"i32","value":"3"}]}
(assert_return (invoke "grow" (i32.const 800)) (i32.const 3))
ok, result
{"type":"module","line":67,"filename":"table_grow.3.wasm"}
loaded
{"type":"assert_return","line":74,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "grow" (i32.const 0)) (i32.const 0))
ok, result
{"type":"assert_return","line":75,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"0"}]}
(assert_return (invoke "grow" (i32.const 1)) (i32.const 0))
ok, result
{"type":"assert_return","line":76,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"1"}]}
(assert_return (invoke "grow" (i32.const 1)) (i32.const 1))
ok, result
{"type":"assert_return","line":77,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"2"}]},"expected":[{"type":"i32","value":"2"}]}
(assert_return (invoke "grow" (i32.const 2)) (i32.const 2))
ok, result
{"type":"assert_return","line":78,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"6"}]},"expected":[{"type":"i32","value":"4"}]}
(assert_return (invoke "grow" (i32.const 6)) (i32.const 4))
ok, result
{"type":"assert_return","line":79,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"10"}]}
(assert_return (invoke "grow" (i32.const 0)) (i32.const 10))
ok, result
{"type":"assert_return","line":80,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "grow" (i32.const 1)) (i32.const -1))
ok, result
{"type":"assert_return","line":81,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"65536"}]},"expected":[{"type":"i32","value":"4294967295"}]}
(assert_return (invoke "grow" (i32.const 0x10000)) (i32.const -1))
ok, result
{"type":"module","line":84,"filename":"table_grow.4.wasm"}
loaded
{"type":"assert_return","line":106,"action":{"type":"invoke","field":"check-table-null","args":[{"type":"i32","value":"0"},{"type":"i32","value":"9"}]},"expected":[{"type":"funcref","value":"null"}]}
(assert_return (invoke "check-table-null" (i32.const 0) (i32.const 9)) (ref.null func))
exception: call: unknown type
{"type":"assert_return","line":107,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"10"}]},"expected":[{"type":"i32","value":"10"}]}
(assert_return (invoke "grow" (i32.const 10)) (i32.const 10))
ok, result
{"type":"assert_return","line":108,"action":{"type":"invoke","field":"check-table-null","args":[{"type":"i32","value":"0"},{"type":"i32","value":"19"}]},"expected":[{"type":"funcref","value":"null"}]}
(assert_return (invoke "check-table-null" (i32.const 0) (i32.const 19)) (ref.null func))
exception: call: unknown type
{"type":"assert_invalid","line":114,"filename":"table_grow.5.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":123,"filename":"table_grow.6.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":132,"filename":"table_grow.7.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":141,"filename":"table_grow.8.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":150,"filename":"table_grow.9.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":160,"filename":"table_grow.10.wasm","text":"type mismatch"}
expected error
{"type":"assert_invalid","line":169,"filename":"table_grow.11.wasm","text":"type mismatch"}
expected error
Generated at 2024-09-05T14:40:40