def create_parser()

in summary/summary.py [0:0]


def create_parser():
    desc = "Summarize stubs and undefined functions in proof repositories."
    args = [
        {
            "flag": "--github",
            "default": "projects.json",
            "help": "JSON file defining proof projects and repositories "
                    "(default: %(default)s)"
        },
        {
            "flag": "--project",
            "nargs": "*",
            "default": [],
            "help": "Names of proof projects to summarize "
                    "(default: all projects)"
        },
        {
            "flag": "--clean",
            "action": "store_true",
            "help": "Remove proof results and proof summaries"
        },
        {
            "flag": "--clone",
            "action": "store_true",
            "help": "Clone proof project"
        },
        {
            "flag": "--build",
            "action": "store_true",
            "help": "Build proof project (run proofs)"
        },
        {
            "flag": "--summarize",
            "action": "store_true",
            "help": "Summarize project proof results"
        },
        {
            "flag": "--chart",
            "action": "store_true",
            "help": "Write project summary data as JSON to stdout"
        },
        {
            "flag": "--verbose",
            "action": "store_true",
            "help": "Verbose output"
        },
        {
            "flag": "--debug",
            "action": "store_true",
            "help": "Debug output"
        }
    ]
    epilog = None

    parser = argparse.ArgumentParser(description=desc, epilog=epilog)
    for arg in args:
        flag = arg['flag']
        del arg['flag']
        parser.add_argument(flag, **arg)
    return parser