def METHOD_NAME():
    """Return the command line parser."""
    parser = argparse.ArgumentParser(
        description='Generate ninja build file for cbmc proofs.',
        epilog="""
            Given a list of folders containing cbmc proofs, write a ninja build
            file the generate reports for these proofs.  The list of folders may
            be given on the command line, in a json file, or found in the file
            system.
            In the json file, there should be a dict mapping the key "proofs"
            to a list of folders containing proofs.
            The file system, all folders folders under the current directory
            containing a file named 'cbmc-batch.yaml' is considered a
            proof folder.
            This script assumes that the proof is driven by a Makefile
            with targets goto, cbmc, coverage, property, and report.
            This script does not work with Windows and Visual Studio.
        """
    )
    parser.add_argument('folders', metavar='PROOF', nargs='*',
                        help='Folder containing a cbmc proof')
    parser.add_argument('--proofs', metavar='JSON',
                        help='Json file listing folders containing cbmc proofs')
    return parser