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   --no-check-covariance       Disable type tests of covariant parameters (dangerous)
  17   --no-check-initialization   Disable isset tests at the end of constructors (dangerous)
  18   --no-check-assert           Disable the evaluation of explicit 'assert' and 'as' (dangerous)
  19   --no-check-autocast         Disable implicit casts on unsafe expression usage (dangerous)
  20   --no-check-other            Disable implicit tests: unset attribute, null receiver (dangerous)
  21   --separate                  Use separate compilation
  22   --no-inline-intern          Do not inline call to intern methods
  23   --erasure                   Erase generic types