INNER CODE UNIT · Python

unknown

wasm3/wasm3 · extra/check.py:179

    unknown = set(args.stages) - set(NAMES)
    if unknown:
        parser.error(
            f"unknown stage(s) {', '.join(sorted(unknown))}; known: {', '.join(NAMES)}"
        )

    selected = [s for s in STAGES if not args.stages or s[0] in args.stages]

    results = []
    failed = False
    for name, _, fn in selected:
        print(f"\n{ansi.HEADER}{ansi.BOLD}=== {name} ==={ansi.ENDC}", flush=True)
        started = time.time()
        try:
            fn(args)
            outcome = f"{ansi.OKGREEN}ok{ansi.ENDC}"
        except StageError as e:
            if str(e):

View source record →