[Why3-club] Make why3session.xml file from command line?

David MENTRE dmentre at linux-france.org
Fri Nov 9 21:40:34 CET 2012


Hello Claude,

2012/11/9 Claude Marche <Claude.Marche at inria.fr>:
> However, it is the time to remember that Why3 is not only a set of
> command-line tools but also a OCaml library:

This exactly what I thought a few hours after sending my email (but I
should have thought at it before sending my email! ;-) )

> I attach a .ml source file that
> examplifies how a session can be created from a given .why or .mlw file.

Thanks a lot! I'll test it.

Best regards,
david



More information about the Why3-club mailing list