Revision a0c92fa8 src/options_management.ml
src/options_management.ml  

92  92 
"node", Arg.Set_string main_node, "specifies the \x1b[4mmain\x1b[0m node"; 
93  93 
"printtypes", Arg.Set print_types, "prints node types"; 
94  94 
"printclocks", Arg.Set print_clocks, "prints node clocks"; 
95 
"printnodes", Arg.Set print_nodes, "prints node list"; 

95  96 
"algebraicloopsolve", Arg.Set solve_al, "try to solve algebraic loops"; 
96  97 
"algebraicloopmax", 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