Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
grew
grew
Commits
ddc87233
Commit
ddc87233
authored
Sep 10, 2018
by
Bruno Guillaume
Browse files
max_rules
parent
e927dd12
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/grew_args.ml
View file @
ddc87233
...
...
@@ -106,8 +106,7 @@ module Grew_args = struct
|
"-html"
::
args
->
html
:=
true
;
loop
args
|
"-timeout"
::
f
::
args
->
timeout
:=
Some
(
float_of_string
f
);
Rewrite
.
set_timeout
(
Some
(
float_of_string
f
));
loop
args
|
"-max_depth_det"
::
i
::
args
->
Log
.
warning
"max_depth_det not implemented, skip the arg"
;
loop
args
|
"-max_depth_non_det"
::
i
::
args
->
Log
.
warning
"max_depth_non_det not implemented, skip the arg"
;
loop
args
|
"-max_rules"
::
i
::
args
->
Rewrite
.
set_max_rules
(
int_of_string
i
);
loop
args
|
"-quiet"
::
args
->
quiet
:=
true
;
loop
args
|
"-cupt"
::
args
->
cupt
:=
true
;
loop
args
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment