summaryrefslogtreecommitdiff
path: root/test/interp
diff options
context:
space:
mode:
authorPaweł Bylica <chfast@gmail.com>2020-09-18 18:37:24 +0200
committerGitHub <noreply@github.com>2020-09-18 09:37:24 -0700
commit76f76f9c01b43124c98769d9c92620c9a587dd62 (patch)
treedd68abcbb8c2f3c7a02dacbe6e4b566a47c2e0de /test/interp
parent122f79d2030156857e5f5a581d060eb9edb2bfec (diff)
downloadwabt-76f76f9c01b43124c98769d9c92620c9a587dd62.tar.gz
wabt-76f76f9c01b43124c98769d9c92620c9a587dd62.tar.bz2
wabt-76f76f9c01b43124c98769d9c92620c9a587dd62.zip
Disallow "64-bit" flag if memory64 is disabled (#1547)
Fixes regressions in binary reader introduced by the implementation of the memory64 extension: https://github.com/WebAssembly/wabt/pull/1500.
Diffstat (limited to 'test/interp')
-rw-r--r--test/interp/load64.txt1
-rw-r--r--test/interp/store64.txt1
2 files changed, 2 insertions, 0 deletions
diff --git a/test/interp/load64.txt b/test/interp/load64.txt
index 232690ef..95b42572 100644
--- a/test/interp/load64.txt
+++ b/test/interp/load64.txt
@@ -1,4 +1,5 @@
;;; TOOL: run-interp
+;;; ARGS: --enable-memory64
(module
(memory 1 i64)
(data (i32.const 0) "\ff\ff\ff\ff")
diff --git a/test/interp/store64.txt b/test/interp/store64.txt
index b1df7c08..dec6a7f9 100644
--- a/test/interp/store64.txt
+++ b/test/interp/store64.txt
@@ -1,4 +1,5 @@
;;; TOOL: run-interp
+;;; ARGS: --enable-memory64
(module
(memory 1 i64)