summaryrefslogtreecommitdiff
path: root/test/parse/assert/assertinvalid.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/parse/assert/assertinvalid.txt')
-rw-r--r--test/parse/assert/assertinvalid.txt13
1 files changed, 13 insertions, 0 deletions
diff --git a/test/parse/assert/assertinvalid.txt b/test/parse/assert/assertinvalid.txt
new file mode 100644
index 00000000..2092de9a
--- /dev/null
+++ b/test/parse/assert/assertinvalid.txt
@@ -0,0 +1,13 @@
+;;; FLAGS: --spec
+(assert_invalid
+ (module (func (i32.const 1)) (export "foo" 1))
+ "unknown function 1") ;; string is ignored
+(assert_invalid
+ (module (func (result i32) (nop)))
+ "type mismatch")
+(;; STDOUT ;;;
+assert_invalid error:
+ parse/assert/assertinvalid.txt:3:46: function variable out of range (max 1)
+assert_invalid error:
+ parse/assert/assertinvalid.txt:6:30: type mismatch in nop. got void, expected i32
+;;; STDOUT ;;)