Project

General

Profile

Revision a0c92fa8 src/options_management.ml

View differences:

src/options_management.ml
92 92
    "-node", Arg.Set_string main_node, "specifies the \x1b[4mmain\x1b[0m node";
93 93
    "-print-types", Arg.Set print_types, "prints node types";
94 94
    "-print-clocks", Arg.Set print_clocks, "prints node clocks";
95
    "-print-nodes",  Arg.Set print_nodes, "prints node list";
95 96
    "-algebraic-loop-solve", Arg.Set solve_al, "try to solve algebraic loops";
96 97
    "-algebraic-loop-max", Arg.Set_int al_nb_max, "try to solve \x1b[4mnb\x1b[0m number of algebraic loops  <default: 15>";
97 98
    "-kind2", Arg.Set kind2_print, "active kind2 output";

Also available in: Unified diff