nitg: shortcut 'for' loops on explicit ranges

[nit.git] / tests / sav / nitg.res

diff --git a/tests/sav/nitg.res b/tests/sav/nitg.res
index d478efb..6faa8c9 100644 (file)
--- a/tests/sav/nitg.res
+++ b/tests/sav/nitg.res
@@ -12,7 +12,9 @@
   --only-metamodel            Stop after meta-model processing
   -o, --output                Output 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)
@@ -20,6 +22,8 @@
   --no-check-other            Disable implicit tests: unset attribute, null receiver (dangerous)
   --separate                  Use separate compilation
   --no-inline-intern          Do not inline call to intern methods
+  --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)