tests/sav/nit.sav

   1   -W, --warn              Show warnings
   2   -q, --quiet             Do not show warnings
   3   --stop-on-first-error   Stop on first error
   4   --no-color              Do not use color to display errors and warnings
   5   --log                   Generate various log files
   6   --log-dir               Directory where to generate log files
   7   -h, -?, --help          Show Help (This screen)
   8   --version               Show version and exit
   9   -v, --verbose           Verbose
  10   -I, --path              Set include path for loaders (may be used more than once)
  11   --only-parse            Only proceed to parse step of loaders
  12   --only-metamodel        Stop after meta-model processing
  13   --discover-call-trace   Trace calls of the first invocation of a method
  14   -d                      Launches the target program with the debugger attached to it
  15   -c                      Launches the target program with the interpreter, such as when the program fails, the debugging prompt is summoned
  16   -o                      compatibility (does noting)
  17   -m                      Additionals module to min-in