Skip to content

Commit

Permalink
promote some tests
Browse files Browse the repository at this point in the history
  • Loading branch information
Laplace-Demon committed Aug 21, 2024
1 parent 7c4c227 commit 87c666f
Show file tree
Hide file tree
Showing 3 changed files with 14 additions and 8 deletions.
3 changes: 3 additions & 0 deletions example/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,9 @@ COMMANDS
opt [--debug] [--unsafe] [OPTION]… [ARG]…
Optimize a module

rac [--unsafe] [OPTION]… [ARG]…
Perform runtime assertion checking

run [OPTION]… [ARG]…
Run the concrete interpreter

Expand Down
3 changes: 3 additions & 0 deletions test/help/help.t
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,9 @@ no subcommand should print help
opt [--debug] [--unsafe] [OPTION]… [ARG]…
Optimize a module

rac [--unsafe] [OPTION]… [ARG]…
Perform runtime assertion checking

run [OPTION]… [ARG]…
Run the concrete interpreter

Expand Down
16 changes: 8 additions & 8 deletions test/script/gc.t
Original file line number Diff line number Diff line change
@@ -1,37 +1,37 @@
$ owi script --no-exhaustion reference/proposals/gc/array.wast
unknown operator unknown operator "array.get_s"
unknown operator "array.get_s"
[23]
$ owi script --no-exhaustion reference/proposals/gc/br_on_cast_fail.wast
unknown operator unknown operator "any.convert_extern"
unknown operator "any.convert_extern"
[23]
$ owi script --no-exhaustion reference/proposals/gc/br_on_cast.wast
unknown operator unknown operator "any.convert_extern"
unknown operator "any.convert_extern"
[23]
$ owi script --no-exhaustion reference/proposals/gc/call_ref.wast
unknown type $ii
[52]
$ owi script --no-exhaustion reference/proposals/gc/extern.wast
unknown operator unknown operator "any.convert_extern"
unknown operator "any.convert_extern"
[23]
$ owi script --no-exhaustion reference/proposals/gc/i31.wast
unknown operator unknown operator "i31ref"
unknown operator "i31ref"
[23]
$ owi script --no-exhaustion reference/proposals/gc/ref_cast.wast
unknown operator unknown operator "any.convert_extern"
unknown operator "any.convert_extern"
[23]
$ owi script --no-exhaustion reference/proposals/gc/ref_eq.wast
owi: internal error, uncaught exception:
File "src/ast/types.ml", line 930, characters 12-18: Assertion failed

[125]
$ owi script --no-exhaustion reference/proposals/gc/ref_test.wast
unknown operator unknown operator "any.convert_extern"
unknown operator "any.convert_extern"
[23]
$ owi script --no-exhaustion reference/proposals/gc/return_call_ref.wast
unknown type $i64-i64
[52]
$ owi script --no-exhaustion reference/proposals/gc/struct.wast
unknown operator unknown operator "struct.get_u"
unknown operator "struct.get_u"
[23]
$ owi script --no-exhaustion reference/proposals/gc/type-subtyping.wast
unexpected token "ref"
Expand Down

0 comments on commit 87c666f

Please sign in to comment.