summaryrefslogtreecommitdiff
path: root/test/spec/table_set.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/spec/table_set.txt')
-rw-r--r--test/spec/table_set.txt34
1 files changed, 34 insertions, 0 deletions
diff --git a/test/spec/table_set.txt b/test/spec/table_set.txt
new file mode 100644
index 00000000..c143d350
--- /dev/null
+++ b/test/spec/table_set.txt
@@ -0,0 +1,34 @@
+;;; TOOL: run-interp-spec
+;;; STDIN_FILE: third_party/testsuite/table_set.wast
+(;; STDOUT ;;;
+out/test/spec/table_set.wast:41: assert_trap passed: out of bounds table access: table.set at 2 >= max value 1
+out/test/spec/table_set.wast:42: assert_trap passed: out of bounds table access: table.set at 3 >= max value 2
+out/test/spec/table_set.wast:43: assert_trap passed: out of bounds table access: table.set at 4294967295 >= max value 1
+out/test/spec/table_set.wast:44: assert_trap passed: out of bounds table access: table.set at 4294967295 >= max value 2
+out/test/spec/table_set.wast:46: assert_trap passed: out of bounds table access: table.set at 2 >= max value 1
+out/test/spec/table_set.wast:47: assert_trap passed: out of bounds table access: table.set at 3 >= max value 2
+out/test/spec/table_set.wast:48: assert_trap passed: out of bounds table access: table.set at 4294967295 >= max value 1
+out/test/spec/table_set.wast:49: assert_trap passed: out of bounds table access: table.set at 4294967295 >= max value 2
+out/test/spec/table_set.wast:55: assert_invalid passed:
+ error: type mismatch in table.set, expected [i32, externref] but got []
+ 000001f: error: OnTableSetExpr callback failed
+out/test/spec/table_set.wast:64: assert_invalid passed:
+ error: type mismatch in table.set, expected [i32, externref] but got [externref]
+ 0000021: error: OnTableSetExpr callback failed
+out/test/spec/table_set.wast:73: assert_invalid passed:
+ error: type mismatch in table.set, expected [i32, externref] but got [i32]
+ 0000021: error: OnTableSetExpr callback failed
+out/test/spec/table_set.wast:82: assert_invalid passed:
+ error: type mismatch in table.set, expected [i32, externref] but got [f32, externref]
+ 0000026: error: OnTableSetExpr callback failed
+out/test/spec/table_set.wast:91: assert_invalid passed:
+ error: type mismatch in table.set, expected [i32, funcref] but got [i32, externref]
+ 0000024: error: OnTableSetExpr callback failed
+out/test/spec/table_set.wast:101: assert_invalid passed:
+ error: type mismatch in table.set, expected [i32, funcref] but got [i32, externref]
+ 0000027: error: OnTableSetExpr callback failed
+out/test/spec/table_set.wast:112: assert_invalid passed:
+ error: type mismatch in implicit return, expected [i32] but got []
+ 0000025: error: EndFunctionBody callback failed
+25/25 tests passed.
+;;; STDOUT ;;)