Le 18/03/2020 à 14:39, Julia Lawall a écrit :
The problem seems ot be the --strings-exp option. If I remove that, cvc4 seems to work fine.
Thanks for the feedback. We will do our best to fix this problem in Why3 development (and probably a soon upcoming 1.3.1 release...)
Hopefully you can continue your work with Why3 now? - Claude _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club