diff options
| author | Ben Smith <binji@chromium.org> | 2019-06-28 13:54:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-28 13:54:34 -0700 |
| commit | 2800d5725e79ac5cc6eb50c4d2265d1de4cdf4ed (patch) | |
| tree | 396bff2d62d552ed79d522c8d60962d3fada5614 /src/tools/spectest-interp.cc | |
| parent | 763cda5287f56f15ced59ab3254eacc576646dbf (diff) | |
| download | wabt-2800d5725e79ac5cc6eb50c4d2265d1de4cdf4ed.tar.gz wabt-2800d5725e79ac5cc6eb50c4d2265d1de4cdf4ed.tar.bz2 wabt-2800d5725e79ac5cc6eb50c4d2265d1de4cdf4ed.zip | |
Write assert_exhaustion text to JSON file (#1100)
The wast file definition for assert_exhaustion looks like:
```wasm
(assert_exhaustion
(invoke "function" (i32.const 132))
"error message")
```
This commit adds the "error message" part to the output.
Diffstat (limited to 'src/tools/spectest-interp.cc')
| -rw-r--r-- | src/tools/spectest-interp.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/spectest-interp.cc b/src/tools/spectest-interp.cc index 393e5207..1b40c74b 100644 --- a/src/tools/spectest-interp.cc +++ b/src/tools/spectest-interp.cc @@ -738,6 +738,8 @@ wabt::Result JSONParser::ParseCommand(CommandPtr* out_command) { EXPECT(","); CHECK_RESULT(ParseAction(&command->action)); EXPECT(","); + PARSE_KEY_STRING_VALUE("text", &command->text); + EXPECT(","); CHECK_RESULT(ParseActionResult()); *out_command = std::move(command); } else { |