contracts: change the contract syntax

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

diff --git a/tests/sav/nit.res b/tests/sav/nit.res
index 317813b..6dae4e5 100644 (file)
--- a/tests/sav/nit.res
+++ b/tests/sav/nit.res
@@ -1,17 +1,3 @@
-  -W, --warn              Show warnings
-  -q, --quiet             Do not show warnings
-  --stop-on-first-error   Stop on first error
-  --no-color              Do not use color to display errors and warnings
-  --log                   Generate various log files
-  --log-dir               Directory where to generate log files
-  -h, -?, --help          Show Help (This screen)
-  --version               Show version and exit
-  -v, --verbose           Verbose
-  -I, --path              Set include path for loaders (may be used more than once)
-  --only-parse            Only proceed to parse step of loaders
-  --only-metamodel        Stop after meta-model processing
-  --discover-call-trace   Trace calls of the first invocation of a method
-  -d                      Launches the target program with the debugger attached to it
-  -c                      Launches the target program with the interpreter, such as when the program fails, the debugging prompt is summoned
-  -o                      compatibility (does noting)
-  -m                      Additionals module to min-in
+Usage: nit [OPTION]... <file.nit>...
+Interprets and debugs Nit programs.
+Use --help for help