diff options
| author | Ben Smith <binji@chromium.org> | 2016-05-18 14:28:38 -0700 |
|---|---|---|
| committer | Ben Smith <binji@chromium.org> | 2016-05-18 14:50:18 -0700 |
| commit | 9702778b428574674e89cd7c8ffde427373d63e8 (patch) | |
| tree | 4e211e9bc9b2ce072a87f25063f090b63dcf6cdd /test/parse/module/bad-memory-max-size-too-big.txt | |
| parent | d9534b10a85366a02425cf2f9ebfd2d939a7fc27 (diff) | |
| download | wabt-9702778b428574674e89cd7c8ffde427373d63e8.tar.gz wabt-9702778b428574674e89cd7c8ffde427373d63e8.tar.bz2 wabt-9702778b428574674e89cd7c8ffde427373d63e8.zip | |
update spec tests
* Parse memory pages as uint64, as we need to check whether it's invalid
in assert_invalid, and one of the spec tests uses the value 2**32.
* Update WASM_MAX_PAGES to 65535 (not 65536)
* Add the new spec tests: binary.wast, break-drop.wast and
typecheck.wast. A couple of these were added before, but weren't added
as .txt files in the test directory.
Diffstat (limited to 'test/parse/module/bad-memory-max-size-too-big.txt')
| -rw-r--r-- | test/parse/module/bad-memory-max-size-too-big.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/parse/module/bad-memory-max-size-too-big.txt b/test/parse/module/bad-memory-max-size-too-big.txt index 88a09626..52744dbb 100644 --- a/test/parse/module/bad-memory-max-size-too-big.txt +++ b/test/parse/module/bad-memory-max-size-too-big.txt @@ -1,7 +1,7 @@ ;;; ERROR: 1 (module (memory 0 65537)) (;; STDERR ;;; -parse/module/bad-memory-max-size-too-big.txt:2:10: max pages (65537) must be less than (65536) +parse/module/bad-memory-max-size-too-big.txt:2:10: max pages (65537) must be <= (65535) (module (memory 0 65537)) ^^^^^^ ;;; STDERR ;;) |