INNER CODE UNIT · Python
stage_spec
wasm3/wasm3 · extra/check.py:111
def stage_spec(args):
# This runner splits --exec with shlex, so a Windows path's backslashes need quoting
# to survive; the other two split on spaces and would take the quotes literally.
# Hence the one path being passed two different ways.
exe = shlex.quote(built(args, "wasm3")) + " --spec-repl"
run([sys.executable, "run-spec-test.py", "--exec", exe], cwd=TEST)
run([sys.executable, "run-spec-test.py", "--spec=wg-2.0", "--exec", exe], cwd=TEST)
def stage_wasi(args):
run([sys.executable, "run-wasi-test.py", "--exec", built(args, "wasm3")], cwd=TEST)
# The order is the pipeline: a stage assumes every stage above it has passed. Naming
# stages on the command line selects from this sequence, it does not reorder it.
# fmt: off
STAGES = (
("format", "codespell, then extra/format.py --check", stage_format),