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
a70e8903
Commit
a70e8903
authored
Jul 03, 2015
by
POTTIER Francois
Browse files
One tiny cleanup.
New performance counter [bs].
parent
c1c99ff7
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/Coverage.ml
View file @
a70e8903
...
...
@@ -227,15 +227,12 @@ let answer (q : question) (get : question -> property) : property =
foreach_terminal_in
(
first
q
.
prod
(
q
.
i
+
1
)
q
.
z
)
(
fun
c
->
foreach_production
nt
(
fun
prod'
->
let
w
=
if
TerminalSet
.
mem
q
.
a
(
first
prod'
0
c
)
then
get
{
s
=
q
.
s
;
a
=
q
.
a
;
prod
=
prod'
;
i
=
0
;
z
=
c
}
else
P
.
bottom
in
P
.
add_lazy
w
(
lazy
(
get
{
s
=
s'
;
a
=
c
;
prod
=
q
.
prod
;
i
=
q
.
i
+
1
;
z
=
q
.
z
}))
if
TerminalSet
.
mem
q
.
a
(
first
prod'
0
c
)
then
P
.
add_lazy
(
get
{
s
=
q
.
s
;
a
=
q
.
a
;
prod
=
prod'
;
i
=
0
;
z
=
c
})
(
lazy
(
get
{
s
=
s'
;
a
=
c
;
prod
=
q
.
prod
;
i
=
q
.
i
+
1
;
z
=
q
.
z
}))
else
P
.
bottom
)
)
...
...
@@ -257,7 +254,7 @@ let qs = ref 0
let
answer
q
get
=
incr
qs
;
if
!
qs
mod
10000
=
0
then
Printf
.
fprintf
stderr
"%d
\n
%!"
!
qs
;
Printf
.
fprintf
stderr
"
qs =
%d
\n
%!"
!
qs
;
answer
q
get
module
F
=
...
...
@@ -306,6 +303,14 @@ let backward s ((s', z) : Q.t) (get : Q.t -> property) : property =
))
)
P
.
bottom
(
Lr1
.
predecessors
s'
)
(* Debugging wrapper. TEMPORARY *)
let
bs
=
ref
0
let
backward
s
q
get
=
incr
bs
;
if
!
bs
mod
10000
=
0
then
Printf
.
fprintf
stderr
"bs = %d
\n
%!"
!
bs
;
backward
s
q
get
module
QM
=
Map
.
Make
(
Q
)
...
...
@@ -355,5 +360,6 @@ let () =
Lr1
.
iter
(
fun
s'
->
let
p
=
backward
s'
in
Printf
.
fprintf
stderr
"%s
\n
%!"
(
P
.
print
Terminal
.
print
p
);
Printf
.
fprintf
stderr
"Questions asked so far: %d
\n
"
!
qs
Printf
.
fprintf
stderr
"Questions asked so far: %d
\n
"
!
qs
;
Printf
.
fprintf
stderr
"Backward searches so far: %d
\n
"
!
bs
)
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