Update run-wasi-test.py

3 years ago · 7dd44291c7
parent 72b0f1b342
commit 7dd44291c7
1 changed files with 2 additions and 0 deletions
--- a/test/run-wasi-test.py
+++ b/test/run-wasi-test.py
@ -65,6 +65,7 @@ commands_full = [
    "args":           ["16", "64"],
    "expect_sha1":    "d85df3561eb15f6f0e6f20d5640e8e1306222c6d"
  }, {
+    "skip":           True,  # TODO
    "name":           "mal",
    "wasm":           "./wasi/mal/mal.wasm",
    "args":           ["./wasi/mal/test-fib.mal", "16"],
@ -126,6 +127,7 @@ commands_fast = [
    "args":           ["4", "32"],
    "expect_sha1":    "ea05d85998b2f453b588ef76a1256215bf9b851c"
  }, {
+    "skip":           True,  # TODO
    "name":           "mal",
    "wasm":           "./wasi/mal/mal.wasm",
    "args":           ["./wasi/mal/test-fib.mal", "16"],