tests/sav/nitg.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   -o, --output            Output file
  14   --no-cc                 Do not invoke C compiler
  15   --hardening             Generate contracts in the C code against bugs in the compiler
  16   --separate              Use separate compilation
  17   --erasure               Erase generic types