tests/sav/nitg.res

   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   --make-flags                Additional options to make
  16   --hardening                 Generate contracts in the C code against bugs in the compiler
  17   --no-check-covariance       Disable type tests of covariant parameters (dangerous)
  18   --no-check-initialization   Disable isset tests at the end of constructors (dangerous)
  19   --no-check-assert           Disable the evaluation of explicit 'assert' and 'as' (dangerous)
  20   --no-check-autocast         Disable implicit casts on unsafe expression usage (dangerous)
  21   --no-check-other            Disable implicit tests: unset attribute, null receiver (dangerous)
  22   --separate                  Use separate compilation
  23   --no-inline-intern          Do not inline call to intern methods
  24   --no-union-attribute        Put primitive attibutes in a box instead of an union
  25   --inline-coloring-numbers   Inline colors and ids
  26   --bm-typing                 Colorize items incrementaly, used to simulate binary matrix typing
  27   --phmod-typing              Replace coloration by perfect hashing (with mod operator)
  28   --phand-typing              Replace coloration by perfect hashing (with and operator)
  29   --generic-resolution-tree   Use tree representation for live generic types instead of flattened representation
  30   --erasure                   Erase generic types
  31   --no-check-erasure-cast     Disable implicit casts on unsafe return with erasure-typing policy (dangerous)