Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
d382465f
Commit
d382465f
authored
Sep 22, 2015
by
POTTIER Francois
Browse files
LRijkstra produces verbose output only if -la 2 is set.
parent
6a359bb7
Changes
4
Hide whitespace changes
Inline
Side-by-side
src/LRijkstra.ml
View file @
d382465f
...
...
@@ -1138,5 +1138,7 @@ let () =
(
stat
.
Gc
.
top_heap_words
*
(
Sys
.
word_size
/
8
)
/
1024
/
1024
)
end
(* ------------------------------------------------------------------------ *)
end
src/back.ml
View file @
d382465f
...
...
@@ -7,7 +7,8 @@ module I = Interpret (* artificial dependency; ensures that [Interpret] runs fir
let
()
=
if
Settings
.
list_errors
then
begin
let
module
L
=
LRijkstra
.
Run
(
struct
let
verbose
=
true
(* Undocumented: if [--log-automaton 2] is set, be verbose. *)
let
verbose
=
Settings
.
logA
>=
2
end
)
in
exit
0
end
...
...
src/compare.sh
View file @
d382465f
...
...
@@ -27,7 +27,7 @@ sleep 1
for
FILE
in
"
$@
"
do
echo
"Running (
$FILE
.mly)..."
{
time
$MENHIR
--list-errors
$BASE
$OPT
$BENCH
/
$FILE
.mly
;
}
&>
$FILE
.new
{
time
$MENHIR
--list-errors
-la
2
$BASE
$OPT
$BENCH
/
$FILE
.mly
;
}
&>
$FILE
.new
done
# Try the last committed version.
...
...
@@ -38,7 +38,7 @@ sleep 1
for
FILE
in
"
$@
"
do
echo
"Running (
$FILE
.mly)..."
{
time
$MENHIR
--list-errors
$BASE
$OPT
$BENCH
/
$FILE
.mly
;
}
&>
$FILE
.old
{
time
$MENHIR
--list-errors
-la
2
$BASE
$OPT
$BENCH
/
$FILE
.mly
;
}
&>
$FILE
.old
done
git stash pop
...
...
src/coverage.sh
View file @
d382465f
...
...
@@ -11,7 +11,7 @@ make bootstrap || exit 1
rm
-f
log
for
f
in
../bench/good/
*
.mly
;
do
echo
$f
|
tee
-a
log
(
timeout
$TIMEOUT
time
_stage2/menhir.native
-v
-lg
1
-la
1
--list-errors
$f
)
2>> log
(
timeout
$TIMEOUT
time
_stage2/menhir.native
-v
-lg
1
-la
2
--list-errors
$f
)
2>> log
done
echo
"Number of grammars that could not be handled in
$TIMEOUT
seconds:"
grep
aborting log |
wc
-l
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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