tests: adding contract testing files

[nit.git] / tests / sav / test_toolcontext_args2.res

diff --git a/tests/sav/test_toolcontext_args2.res b/tests/sav/test_toolcontext_args2.res
index b14caf6..9d4104e 100644 (file)
--- a/tests/sav/test_toolcontext_args2.res
+++ b/tests/sav/test_toolcontext_args2.res
@@ -1,16 +1,19 @@
 Usage: test_toolcontext [OPTION]...
 Test for ToolContext, try --bash-completion.
-  -W, --warn              Show more warnings
+  -W, --warn              Show additional warnings (advices)
   -w, --warning           Show/hide a specific warning
   -q, --quiet             Do not show warnings
-  --stop-on-first-error   Stop on first error
+  --stop-on-first-error   Just display the first encountered error then stop
+  --keep-going            Continue after errors, whatever the consequences
   --no-color              Do not use color to display errors and warnings
   --log                   Generate various log files
   --log-dir               Directory where to generate log files
   --nit-dir               Base directory of the Nit installation
   -h, -?, --help          Show Help (This screen)
   --version               Show version and exit
-  -v, --verbose           Verbose
+  -v, --verbose           Additional messages from the tool
+  --no-contract           Disable the contracts usage
+  --full-contract         Enable all contracts usage
   -a, --option-a          option a, do nothing
   -b, --option-b          option b, do nothing
   -c                      option c, do nothing