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
3db667b7
Commit
3db667b7
authored
Jul 03, 2015
by
POTTIER Francois
Browse files
Comment.
parent
9148c4e8
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/Coverage.ml
View file @
3db667b7
...
...
@@ -425,3 +425,7 @@ let () =
It should work very well, because most of the time this should be a very good
under-approximation (it should be equal to the true distance).
*)
(* TEMPORARY
also: first compute an optimistic path using the simple algorithm
and check if this path is feasible in the real automaton
*)
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