diff options
| author | Derek Schuff <dschuff@chromium.org> | 2016-09-28 17:38:44 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-28 17:38:44 -0700 |
| commit | 2234cc7374797d188761916f6b1e82ce9ade1fa3 (patch) | |
| tree | 293a9ddc5392b4a8ce7fdfaf48b9071463433c47 /check.py | |
| parent | 345b04253dcf7d42dcefabdec4e4b0edc3a3ca44 (diff) | |
| download | binaryen-2234cc7374797d188761916f6b1e82ce9ade1fa3.tar.gz binaryen-2234cc7374797d188761916f6b1e82ce9ade1fa3.tar.bz2 binaryen-2234cc7374797d188761916f6b1e82ce9ade1fa3.zip | |
Print the name of memory along with size (#720)
Otherwise when we export it as "$0" it's an undefined name.
The spec interpreter actually rejects this, although I think it's
intended to work, given the tests in export.wast. wabt also accepts it.
Diffstat (limited to 'check.py')
0 files changed, 0 insertions, 0 deletions