def get_litani_path()

in template-for-repository/proofs/run-cbmc-proofs.py [0:0]

• 14 lines of code
• 2 McCabe index (conditional complexity)

def get_litani_path(proof_root):
    cmd = [
        "make",
        "--no-print-directory",
        "PROOF_ROOT=%s" % proof_root,
        "-f", "Makefile.common",
        "litani-path",
    ]
    logging.debug(" ".join(cmd))
    proc = subprocess.run(cmd, universal_newlines=True, stdout=subprocess.PIPE)
    if proc.returncode:
        logging.critical("Could not determine path to litani")
        sys.exit(1)
    return proc.stdout.strip()