[Why3-club] Make why3session.xml file from command line?
dmentre at linux-france.org
Fri Nov 9 21:40:34 CET 2012
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.
More information about the Why3-club