Merge pull request #163 from wingo/wasmtime-adapter-version

Wasmtime adapter adds appropriate args according to wasi version

Author: wingo

adapters/wasmtime.py

@@ -37,4 +37,22 @@ def compute_argv(test_path: str,
         argv += ["--dir", f"{host}::{guest}"]  # noqa: E231
     argv += [test_path]
     argv += args
+    _add_wasi_version_options(argv, wasi_version)
     return argv
+
+
+# The user might provide WASMTIME="wasmtime --option -Sfoo".  Let's
+# insert the options to choose the WASI version before the user's
+# options, so that the user can override our choices.
+def _add_wasi_version_options(argv: List[str], wasi_version: str) -> None:
+    splice_pos = len(WASMTIME)
+    while splice_pos > 1 and args[splice_pos-1].startswith("-"):
+        splice_pos -= 1
+    match wasi_version:
+        case "wasm32-wasip1":
+            pass
+        case "wasm32-wasip3":
+            argv[splice_pos:splice_pos] = ["-Wcomponent-model-async",
+                                           "-Sp3,http"]
+        case _:
+            pass