[Why3-club] Make why3session.xml file from command line?
dmentre at linux-france.org
Mon Nov 12 11:18:57 CET 2012
2012/11/9 David MENTRE <dmentre at linux-france.org>:
>> 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.
It works... after some tweaking. ;-)
For the record, here is attached the create_session.ml file I am
using. I added handling of -C and -I options (like why3ide). It should
be also able to handle several .why files simultaneously but I did not
test this feature.
Then, to fill the empty proofs with real proof attempts, I am using
why3replayer with the following commit and -force option:
Thanks a lot!
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5040 bytes
Desc: not available
More information about the Why3-club