{"type":"module","line":5,"filename":"memory_redundancy.0.wasm"}
loaded
{"type":"assert_return","line":59,"action":{"type":"invoke","field":"test_store_to_load"},"expected":[{"type":"i32","value":"128"}]}
(assert_return (invoke "test_store_to_load") (i32.const 0x00000080))
error, wrong result, expected 128, got 0
{"type":"action","line":60,"action":{"type":"invoke","field":"zero_everything"}}
action done
{"type":"assert_return","line":61,"action":{"type":"invoke","field":"test_redundant_load"},"expected":[{"type":"i32","value":"128"}]}
(assert_return (invoke "test_redundant_load") (i32.const 0x00000080))
ok, result
{"type":"action","line":62,"action":{"type":"invoke","field":"zero_everything"}}
action done
{"type":"assert_return","line":63,"action":{"type":"invoke","field":"test_dead_store"},"expected":[{"type":"f32","value":"35"}]}
(assert_return (invoke "test_dead_store") (f32.const 0x1.18p-144))
exception: todo, execute instruction zcl_wasm_f32_load
{"type":"action","line":64,"action":{"type":"invoke","field":"zero_everything"}}
action done
{"type":"assert_return","line":65,"action":{"type":"invoke","field":"malloc_aliasing"},"expected":[{"type":"i32","value":"43"}]}
(assert_return (invoke "malloc_aliasing") (i32.const 43))
ok, result
Generated at 2024-09-05T14:39:22