Commit 89866045 authored by Bruno Guillaume's avatar Bruno Guillaume

max_rules

parent 25dd89c5
......@@ -40,8 +40,7 @@ module Grew_args = struct
"-strat", String (fun s -> strat := s), "<strat> set the module strategy to use";
"-seq", String (fun s -> strat := s), "<strat> [DEPRECATED] replaced by -strat option";
"-timeout", Float (fun f -> timeout := Some f; Rewrite.set_timeout (Some f)), "<float> set a timeout on rewriting";
"-max_depth_det", Int (fun v -> Rewrite.set_max_depth_det v), "<int> set the maximum depth of rewriting in a module in deterministric rewriting (default: 2000)";
"-max_depth_non_det", Int (fun v -> Rewrite.set_max_depth_non_det v), "<int> set the maximum depth of rewriting in a module in non-deterministric rewriting (default: 100)";
"-max_rules", Int (fun v -> Rewrite.set_max_rules v), "<int> set the maximum steps of rewriting (default: 10000)";
"-features", String (fun s -> features := Some (Str.split (Str.regexp "; *") s)), "<feat_name_list> set the list of feature names to printf in dep format";
"-main_feat", String (fun s -> main_feat := Some s), "<feat_name_list> set the list of feature names used in dep format to set the \"main word\"";
"-safe_commands", Unit (fun () -> Libgrew.set_safe_commands true), " enable safe_commands mode";
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment