From eafd76dec3bcd04eaf768413b4ee24d4fdedaddf Mon Sep 17 00:00:00 2001 From: Ghjuvan Lacambre Date: Wed, 2 Mar 2022 10:46:19 +0100 Subject: [PATCH] main.py: explain --single-file and --follow-closure --- ada_reducer/main.py | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/ada_reducer/main.py b/ada_reducer/main.py index 0b54bcf..7f1b2fa 100644 --- a/ada_reducer/main.py +++ b/ada_reducer/main.py @@ -7,18 +7,22 @@ import os @click.command() -@click.option("--single-file", is_flag=False) -@click.option("--follow-closure", is_flag=True) +@click.option("--single-file", is_flag=False, help="Reduce only this file.") +@click.option( + "--follow-closure", + is_flag=True, + help="Allow reducing with'ed units when using --single-file.", +) @click.argument("project_file") @click.argument("predicate") def main(single_file, follow_closure, project_file, predicate): """Reduces the closure of the given main file in the - given project as long as predicate returns 0. + given project as long as predicate returns 0. - For instance: adareducer.py sdc.gpr main.adb check.sh + For instance: adareducer.py sdc.gpr main.adb check.sh - Where check.sh is a script which checks for the property - that we want and returns 0 if we do have it. + Where check.sh is a script which checks for the property + that we want and returns 0 if we do have it. """ # sanity check