INNER CODE UNIT · Python

stage_regression

wasm3/wasm3 · extra/check.py:104

def stage_regression(args):
    run(
        [sys.executable, "run-regression-test.py", "--exec", built(args, "wasm3")],
        cwd=TEST,
    )


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)

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…