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

     1  {"source_filename": "./memory_size.wast",
     2   "commands": [
     3    {"type": "module", "line": 1, "filename": "memory_size.0.wasm"}, 
     4    {"type": "assert_return", "line": 7, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 
     5    {"type": "assert_return", "line": 8, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 
     6    {"type": "assert_return", "line": 9, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 
     7    {"type": "assert_return", "line": 10, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "4"}]}, "expected": []}, 
     8    {"type": "assert_return", "line": 11, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "5"}]}, 
     9    {"type": "assert_return", "line": 12, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    10    {"type": "assert_return", "line": 13, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "5"}]}, 
    11    {"type": "module", "line": 15, "filename": "memory_size.1.wasm"}, 
    12    {"type": "assert_return", "line": 21, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 
    13    {"type": "assert_return", "line": 22, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 
    14    {"type": "assert_return", "line": 23, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 
    15    {"type": "assert_return", "line": 24, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "4"}]}, "expected": []}, 
    16    {"type": "assert_return", "line": 25, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "6"}]}, 
    17    {"type": "assert_return", "line": 26, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    18    {"type": "assert_return", "line": 27, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "6"}]}, 
    19    {"type": "module", "line": 29, "filename": "memory_size.2.wasm"}, 
    20    {"type": "assert_return", "line": 35, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 
    21    {"type": "assert_return", "line": 36, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "3"}]}, "expected": []}, 
    22    {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 
    23    {"type": "assert_return", "line": 38, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 
    24    {"type": "assert_return", "line": 39, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 
    25    {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    26    {"type": "assert_return", "line": 41, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 
    27    {"type": "assert_return", "line": 42, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "4"}]}, "expected": []}, 
    28    {"type": "assert_return", "line": 43, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 
    29    {"type": "assert_return", "line": 44, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 
    30    {"type": "assert_return", "line": 45, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 
    31    {"type": "module", "line": 47, "filename": "memory_size.3.wasm"}, 
    32    {"type": "assert_return", "line": 53, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "3"}]}, 
    33    {"type": "assert_return", "line": 54, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 
    34    {"type": "assert_return", "line": 55, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "4"}]}, 
    35    {"type": "assert_return", "line": 56, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "3"}]}, "expected": []}, 
    36    {"type": "assert_return", "line": 57, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "7"}]}, 
    37    {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 
    38    {"type": "assert_return", "line": 59, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "7"}]}, 
    39    {"type": "assert_return", "line": 60, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "2"}]}, "expected": []}, 
    40    {"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "7"}]}, 
    41    {"type": "assert_return", "line": 62, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 
    42    {"type": "assert_return", "line": 63, "action": {"type": "invoke", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "8"}]}, 
    43    {"type": "assert_invalid", "line": 69, "filename": "memory_size.4.wasm", "text": "type mismatch", "module_type": "binary"}, 
    44    {"type": "assert_invalid", "line": 78, "filename": "memory_size.5.wasm", "text": "type mismatch", "module_type": "binary"}]}