blob: 8fa1ed69af87abca41a338b11b720fa0572c0960 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
;;; TOOL: run-interp-spec
(assert_malformed
(module binary
"\00asm" "\01\00\00\00"
"\05\03\01\00\01" ;; Memory section with one entry
"\0c\01\01" ;; Data count section with value 1
)
"data count and data section have inconsistent lengths"
)
(;; STDOUT ;;;
out/test/regress/data-count-without-data-section.txt:3: assert_malformed passed:
0000010: error: Data section missing but DataCount non-zero
1/1 tests passed.
;;; STDOUT ;;)
|
