Text file src/github.com/tetratelabs/wazero/internal/integration_test/spectest/v2/testdata/unreached-valid.json

Documentation: github.com/tetratelabs/wazero/internal/integration_test/spectest/v2/testdata

     1{"source_filename": "./unreached-valid.wast",
     2 "commands": [
     3  {"type": "module", "line": 1, "filename": "unreached-valid.0.wasm"}, 
     4  {"type": "assert_trap", "line": 42, "action": {"type": "invoke", "field": "select-trap-left", "args": [{"type": "i32", "value": "1"}]}, "text": "unreachable", "expected": [{"type": "i32"}]}, 
     5  {"type": "assert_trap", "line": 43, "action": {"type": "invoke", "field": "select-trap-left", "args": [{"type": "i32", "value": "0"}]}, "text": "unreachable", "expected": [{"type": "i32"}]}, 
     6  {"type": "assert_trap", "line": 44, "action": {"type": "invoke", "field": "select-trap-right", "args": [{"type": "i32", "value": "1"}]}, "text": "unreachable", "expected": [{"type": "i32"}]}, 
     7  {"type": "assert_trap", "line": 45, "action": {"type": "invoke", "field": "select-trap-right", "args": [{"type": "i32", "value": "0"}]}, "text": "unreachable", "expected": [{"type": "i32"}]}, 
     8  {"type": "module", "line": 49, "filename": "unreached-valid.1.wasm"}, 
     9  {"type": "assert_trap", "line": 63, "action": {"type": "invoke", "field": "meet-bottom", "args": []}, "text": "unreachable", "expected": []}]}

View as plain text