def main()

in scripts/setup-proof.py [0:0]

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

def main():
    """Set up CBMC proof."""

    logging.basicConfig(format='%(levelname)s: %(message)s')

    function = util.read_function_name()
    source_file = util.read_source_path()
    source_root = util.read_source_root_path()
    proof_root = util.read_proof_root_path()

    proof_dir = os.path.abspath(function)
    os.mkdir(proof_dir)

    for filename in proof_template_filenames():
        lines = read_proof_template(filename)
        lines = patch_function_name(lines, function)
        lines = patch_path_to_makefile(lines, proof_root, proof_dir)
        lines = patch_path_to_proof_root(lines, proof_root, source_root)
        lines = patch_path_to_source_file(lines, source_file, source_root)
        write_proof_template(lines, filename, proof_dir)

    rename_proof_harness(function, proof_dir)