> * default proof strategies "Auto level 1" and "Auto level 2" > have been respectively renamed "Auto level 2" and "Auto level 3"; > "Auto level 1" now behaves similarly to "Auto level 0" but with a longer > time limit; more details in the manual, Section 10.6 "Proof Strategies" > :x:
This means that there is no more of the old Auto Level 3? julia _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
