tests: intro tests for the jvm module

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

diff --git a/tests/sav/nitg.res b/tests/sav/nitg.res
index 45959cb..2593e14 100644 (file)
--- a/tests/sav/nitg.res
+++ b/tests/sav/nitg.res
@@ -13,6 +13,7 @@
   -o, --output                Output file
   --no-cc                     Do not invoke C compiler
   --make-flags                Additional options to make
+  --compile-dir               Directory used to generate temporary files
   --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)
@@ -21,6 +22,8 @@
   --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
+  --nit-stacktrace            Enables the use of gperf to bind C to Nit function names when encountering a Stack trace at runtime
+  --no-stacktrace             Disables libunwind and generation of C stack traces (can be problematic when compiling to targets such as Android or NaCl)
   --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
@@ -32,3 +35,5 @@
   --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
+  -m                          Additionals module to min-in