1
2
3
4
5
6
7
8
9
10
|
{"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"}]}]}
|
