Project

General

Profile

« Previous | Next » 

Revision c6c8786b

Added by Pierre-Loïc Garoche over 2 years ago

kind2 output for printer. global option available

View differences:

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