Revision c6c8786b
Added by Pierre-Loïc Garoche almost 4 years ago
| src/options_management.ml | ||
|---|---|---|
| 92 | 92 |
"-print-clocks", Arg.Set print_clocks, "prints node clocks"; |
| 93 | 93 |
"-algebraic-loop-solve", Arg.Set solve_al, "try to solve algebraic loops"; |
| 94 | 94 |
"-algebraic-loop-max", Arg.Set_int al_nb_max, "try to solve \x1b[4mnb\x1b[0m number of algebraic loops <default: 15>"; |
| 95 |
"-kind2", Arg.Set kind2_print, "active kind2 output"; |
|
| 95 | 96 |
"-verbose", Arg.Set_int verbose_level, "changes verbose \x1b[4mlevel\x1b[0m <default: 1>"; |
| 96 | 97 |
"-version", Arg.Unit print_version, " displays the version"; |
| 97 | 98 |
] |
Also available in: Unified diff
kind2 output for printer. global option available