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