nitg: add option --global
[nit.git] / tests / sav / nitg.res
index 06332a6..5f5c45f 100644 (file)
   --no-cc                     Do not invoke C compiler
   --make-flags                Additional options to make
   --hardening                 Generate contracts in the C code against bugs in the compiler
+  --no-shortcut-range         Always insantiate a range and its iterator on 'for' loops
   --no-check-covariance       Disable type tests of covariant parameters (dangerous)
   --no-check-initialization   Disable isset tests at the end of constructors (dangerous)
   --no-check-assert           Disable the evaluation of explicit 'assert' and 'as' (dangerous)
   --no-check-autocast         Disable implicit casts on unsafe expression usage (dangerous)
   --no-check-other            Disable implicit tests: unset attribute, null receiver (dangerous)
+  --typing-test-metrics       Enable static and dynamic count of all type tests
   --separate                  Use separate compilation
   --no-inline-intern          Do not inline call to intern methods
-  --no-union-attribute        But primitive attibutes in a box instead of an union
+  --no-union-attribute        Put primitive attibutes in a box instead of an union
+  --no-shortcut-equal         Always call == in a polymorphic way
   --inline-coloring-numbers   Inline colors and ids
   --bm-typing                 Colorize items incrementaly, used to simulate binary matrix typing
   --phmod-typing              Replace coloration by perfect hashing (with mod operator)
   --phand-typing              Replace coloration by perfect hashing (with and operator)
-  --generic-resolution-tree   Use tree representation for live generic types instead of flattened representation
+  --tables-metrics            Enable static size measuring of tables used for vft, typing and resolution
   --erasure                   Erase generic types
   --no-check-erasure-cast     Disable implicit casts on unsafe return with erasure-typing policy (dangerous)
+  --global                    Use global compilation