INNER CODE UNIT · Python

stage_embed

wasm3/wasm3 · extra/check.py:99

def stage_embed(args):
    run([built(args, "m3_test")])
    run([built(args, "m3_test_reftypes")])


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)

View source record →