test/spec/linking.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/linking.wast
(;; STDOUT ;;;
out/test/spec/linking.wast:28: assert_unlinkable passed:
  error: import signature mismatch
  0000025: error: OnImportFunc callback failed
out/test/spec/linking.wast:32: assert_unlinkable passed:
  error: import signature mismatch
  0000026: error: OnImportFunc callback failed
out/test/spec/linking.wast:87: assert_unlinkable passed:
  error: mutability mismatch in imported global, expected mutable but got immutable.
  000001a: error: OnImportGlobal callback failed
out/test/spec/linking.wast:91: assert_unlinkable passed:
  error: mutability mismatch in imported global, expected immutable but got mutable.
  0000016: error: OnImportGlobal callback failed
out/test/spec/linking.wast:207: assert_unlinkable passed:
  error: elem segment is out of bounds: [10, 11) >= max value 10
  0000028: error: OnElemSegmentFunctionIndexCount callback failed
out/test/spec/linking.wast:216: assert_unlinkable passed:
  error: unknown module field "mem"
  0000027: error: OnImportMemory callback failed
out/test/spec/linking.wast:228: assert_unlinkable passed:
  error: elem segment is out of bounds: [12, 13) >= max value 10
  000002f: error: OnElemSegmentFunctionIndexCount callback failed
out/test/spec/linking.wast:239: assert_unlinkable passed:
  error: data segment is out of bounds: [65536, 65537) >= max value 65536
  0000042: error: OnDataSegmentData callback failed
out/test/spec/linking.wast:299: assert_unlinkable passed:
  error: data segment is out of bounds: [65536, 65537) >= max value 65536
  0000020: error: OnDataSegmentData callback failed
out/test/spec/linking.wast:324: assert_unlinkable passed:
  error: unknown module field "tab"
  0000037: error: OnImportTable callback failed
out/test/spec/linking.wast:335: assert_unlinkable passed:
  error: data segment is out of bounds: [327680, 327681) >= max value 327680
  0000028: error: OnDataSegmentData callback failed
out/test/spec/linking.wast:345: assert_unlinkable passed:
  error: elem segment is out of bounds: [0, 1) >= max value 0
  000002d: error: OnElemSegmentFunctionIndexCount callback failed
91/91 tests passed.
;;; STDOUT ;;)