test/roundtrip/memory-index64.txt


1
2
3
4
5
6
7
8

;;; TOOL: run-roundtrip
;;; ARGS: --stdout --enable-memory64
(module
  (import "a" "b" (memory i64 1)))
(;; STDOUT ;;;
(module
  (import "a" "b" (memory (;0;) i64 1)))
;;; STDOUT ;;)