{"source_filename": "./memory_redundancy.wast", "commands": [ {"type": "module", "line": 5, "filename": "memory_redundancy.0.wasm"}, {"type": "assert_return", "line": 59, "action": {"type": "invoke", "field": "test_store_to_load", "args": []}, "expected": [{"type": "i32", "value": "128"}]}, {"type": "action", "line": 60, "action": {"type": "invoke", "field": "zero_everything", "args": []}, "expected": []}, {"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "test_redundant_load", "args": []}, "expected": [{"type": "i32", "value": "128"}]}, {"type": "action", "line": 62, "action": {"type": "invoke", "field": "zero_everything", "args": []}, "expected": []}, {"type": "assert_return", "line": 63, "action": {"type": "invoke", "field": "test_dead_store", "args": []}, "expected": [{"type": "f32", "value": "35"}]}, {"type": "action", "line": 64, "action": {"type": "invoke", "field": "zero_everything", "args": []}, "expected": []}, {"type": "assert_return", "line": 65, "action": {"type": "invoke", "field": "malloc_aliasing", "args": []}, "expected": [{"type": "i32", "value": "43"}]}]}