def main()

in scripts/setup.py [0:0]

• 10 lines of code
• 1 McCabe index (conditional complexity)

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

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

    source_root = util.read_source_root_path()

    # the script is being run in the cbmc root
    cbmc_root = os.path.abspath('.')

    # the script is creating the proof root
    proof_root = os.path.abspath('proofs')

    # the script is linking to the litani script within the litani submodule
    litani = util.read_litani_path()

    # the name of the project used in project verification reports
    project_name = util.read_project_name()

    util.copy_repository_templates(cbmc_root)
    create_makefile_template_defines(
        proof_root, source_root, litani, project_name)