blob: 8db4cebfde0756f0943794376bf07b559159c800 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/nop.wast
(;; STDOUT ;;;
assert_invalid error:
third_party/testsuite/nop.wast:87:40: type mismatch in nop. got void, expected i32
(module (func $type-i32 (result i32) (nop)))
^
assert_invalid error:
third_party/testsuite/nop.wast:91:40: type mismatch in nop. got void, expected i64
(module (func $type-i64 (result i64) (nop)))
^
assert_invalid error:
third_party/testsuite/nop.wast:95:40: type mismatch in nop. got void, expected f32
(module (func $type-f32 (result f32) (nop)))
^
assert_invalid error:
third_party/testsuite/nop.wast:99:40: type mismatch in nop. got void, expected f64
(module (func $type-f64 (result f64) (nop)))
^
20/20 tests passed.
;;; STDOUT ;;)
|
