INNER CODE UNIT · Python

read

2akouwu/reverify · reverify/cli.py:522

    def read(x: str) -> str:
        return open(x, encoding="utf-8").read() if os.path.exists(x) else x

    res = functions_equiv_verify(
        read(args.candidate), reference=read(args.reference),
        lang=args.lang, nargs=args.nargs, cc=args.cc)
    status = res["status"]
    if args.json:
        print(json.dumps(res, indent=2, ensure_ascii=False))
    else:
        label = {"pass": "VERIFIED", "fail": "REFUTED", "inconclusive": "INCONCLUSIVE"}[status]
        print(f"{label}  {res['detail']}")
        if status == "fail" and res["failures"]:
            w = res["failures"][0]
            print(f"  witness: input {w['input']} -> reference {w['reference']}, candidate {w['candidate']}")
    sys.exit({"pass": 0, "fail": 2, "inconclusive": 3}[status])

View source record →