tests/sav/nit.sav

   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   --ic-typing-mode        Incremental typing method. Possible values are:
  14                                  - BM: binary matrix
  15                                  - CL: coloration
  16                                  - PHAND: perfect hashing whith AND
  17                                  - PHMOD: perfect hashing whith MOD
  18   --ic-load-mode          Dynamic loading mode. Possible values are:
  19                                  - type (default): load only the new type
  20                                  - module: load the module of new type
  21   --ic-bootstrap          Bootstrap typing with standard library (default is no bootstrap)
  22   --ic-recompute-mode     When to recompute typing. Possible values are:
  23                                  - always: recompute for each new type
  24                                  - never (default):  never recompute, use fallback instead
  25                                  - threshold:  recompute only when the threshold is reached, use fallback before
  26                                  - increment: try to update structures instead of recompute
  27   --ic-threshold-mode     Threshold mode. Possible values are:
  28                                  - increment: recompute when the number of new type reach the threshold count
  29                                  -fallback: recompute when the use number of fallback use reach the threshold count
  30   --ic-threshold-count    Threshold count. Take an integer
  31   --ic-cache-size         Cache size. Take an integer
  32   --ic-show-stats         Show statistics about typing at the end of the interpretation
  33   -o                      compatibility (does noting)