Could the generated code be bigger than before? I tried cvc4 on a proof that is simple and has few dependencies and it was fine.
julia _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
