github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v2/testdata/memory_redundancy.json (about)

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