diff options
| author | Ben Smith <binji@chromium.org> | 2015-09-29 11:05:33 -0700 |
|---|---|---|
| committer | Ben Smith <binji@chromium.org> | 2015-09-29 11:05:33 -0700 |
| commit | 983382c851516a74ad48a5b1d040130907805714 (patch) | |
| tree | 11a1e59e84b8ae16b61e52891ad7cbdb986b7847 /test/spec | |
| parent | e7514b2f2c479fa87bf8d6c28c5fde64bb8d6cf4 (diff) | |
| download | wabt-983382c851516a74ad48a5b1d040130907805714.tar.gz wabt-983382c851516a74ad48a5b1d040130907805714.tar.bz2 wabt-983382c851516a74ad48a5b1d040130907805714.zip | |
add a bunch of failing spec tests
- i32, i64, memory_trap, switch and unsigned
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/i32.txt | 4 | ||||
| -rw-r--r-- | test/spec/i64.txt | 4 | ||||
| -rw-r--r-- | test/spec/memory_trap.txt | 14 | ||||
| -rw-r--r-- | test/spec/switch.txt | 4 | ||||
| -rw-r--r-- | test/spec/unsigned.txt | 4 |
5 files changed, 30 insertions, 0 deletions
diff --git a/test/spec/i32.txt b/test/spec/i32.txt new file mode 100644 index 00000000..a83f586c --- /dev/null +++ b/test/spec/i32.txt @@ -0,0 +1,4 @@ +# SKIP: Unsupported opcode #87:ExprI32Clz +# EXE: test/run-d8.py +# FLAGS: --spec +# STDIN_FILE: third_party/spec/ml-proto/test/i32.wasm diff --git a/test/spec/i64.txt b/test/spec/i64.txt new file mode 100644 index 00000000..913e00af --- /dev/null +++ b/test/spec/i64.txt @@ -0,0 +1,4 @@ +# SKIP: Unsupported opcode #114:ExprI64Clz +# EXE: test/run-d8.py +# FLAGS: --spec +# STDIN_FILE: third_party/spec/ml-proto/test/i64.wasm diff --git a/test/spec/memory_trap.txt b/test/spec/memory_trap.txt new file mode 100644 index 00000000..7f878edb --- /dev/null +++ b/test/spec/memory_trap.txt @@ -0,0 +1,14 @@ +# EXE: test/run-d8.py +# FLAGS: --spec +# STDIN_FILE: third_party/spec/ml-proto/test/memory_trap.wasm +# STDOUT: +instantiating module +$invoke_0 = undefined +$assert_eq_0 OK +$assert_trap_0 failed, didn't throw +$assert_trap_1 failed, didn't throw +$assert_trap_2 failed, didn't throw +$assert_trap_3 failed, didn't throw +$assert_trap_4 failed, didn't throw +$assert_trap_5 failed, didn't throw +1/7 tests passed. diff --git a/test/spec/switch.txt b/test/spec/switch.txt new file mode 100644 index 00000000..00c0c255 --- /dev/null +++ b/test/spec/switch.txt @@ -0,0 +1,4 @@ +# SKIP: incorrect type mismatch in switch statement +# EXE: test/run-d8.py +# FLAGS: --spec +# STDIN_FILE: third_party/spec/ml-proto/test/switch.wasm diff --git a/test/spec/unsigned.txt b/test/spec/unsigned.txt new file mode 100644 index 00000000..c0a423a4 --- /dev/null +++ b/test/spec/unsigned.txt @@ -0,0 +1,4 @@ +# SKIP: Unsupported opcode #165:ExprI64UConvertF64 +# EXE: test/run-d8.py +# FLAGS: --spec +# STDIN_FILE: third_party/spec/ml-proto/test/unsigned.wasm |