Project

General

Profile

Revision 264a4844 src/options_management.ml

View differences:

src/options_management.ml
81 81
    "-node", Arg.Set_string main_node, "specifies the \x1b[4mmain\x1b[0m node";
82 82
    "-print-types", Arg.Set print_types, "prints node types";
83 83
    "-print-clocks", Arg.Set print_clocks, "prints node clocks";
84
    "-algebraic-loop-solve", Arg.Set solve_al, "try to solve algebraic loops"; 
85
    "-algebraic-loop-max", Arg.Set_int al_nb_max, "try to solve \x1b[4mnb\x1b[0m number of algebraic loops  <default: 15>"; 
84 86
    "-verbose", Arg.Set_int verbose_level, "changes verbose \x1b[4mlevel\x1b[0m <default: 1>";
85 87
    "-version", Arg.Unit print_version, " displays the version";
86 88
  ]

Also available in: Unified diff