Problem with remaining data from older version of Why3
mv ~/.why3.conf ~/.why3.conf.saved
why3 config --detect
Hope this helps,
- Claude
Le 17/09/2018 à 13:00, Sara Houhou a écrit :
Hello,
Thanks a lot, but I am always blocked by this message when I want to
test the first example:
why3 ide hello_proof.why
Fatal: loading strategy 'Split' failed: transformation "split_goal_wp"
is unknown
Solve this problem in your why3.conf file and retry.
How can I fix that?
Thanks.
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club