On Wed, 2004-06-23 at 03:59, Nicolas Cannasse wrote:

> what he needs is actually a statical
> analysis tool using a code coverage algorithm, given one or more entry
> points.

In my case the entry points (roots) can be determined automatically
for any *.ml file from the corresponding *.mli file.


-- 
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net



-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners