--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)
--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 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)
+ --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