Commit 40255ba2 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Comment.

parent 02ca622d
...@@ -920,6 +920,8 @@ let () = ...@@ -920,6 +920,8 @@ let () =
remove Coverage, remove CompletedNatWitness?, revert Fix remove Coverage, remove CompletedNatWitness?, revert Fix
collect performance data, correlated with star size and alphabet size; draw a graph collect performance data, correlated with star size and alphabet size; draw a graph
count the unreachable states and see if they are numerous in practice count the unreachable states and see if they are numerous in practice
optionally report several ways of reaching an error in state s
(with different lookahead tokens) (report all of them?)
*) *)
(* One could approach the problem just by exploring the (infinite) graph whose (* One could approach the problem just by exploring the (infinite) graph whose
......
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