diff options
Diffstat (limited to 'test/spec/ref_is_null.txt')
| -rw-r--r-- | test/spec/ref_is_null.txt | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/spec/ref_is_null.txt b/test/spec/ref_is_null.txt new file mode 100644 index 00000000..35c5e2a0 --- /dev/null +++ b/test/spec/ref_is_null.txt @@ -0,0 +1,12 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/ref_is_null.wast +(;; STDOUT ;;; +init(externref:1) => +deinit() => +out/test/spec/ref_is_null.wast:52: assert_invalid passed: + error: type mismatch in ref.is_null, expected reference but got [i32] + 000001b: error: OnRefIsNullExpr callback failed +out/test/spec/ref_is_null.wast:56: assert_invalid passed: + 0000018: error: OnRefIsNullExpr callback failed +15/15 tests passed. +;;; STDOUT ;;) |