-
MARCHE Claude authored
- no option -get-ce and option in IDE anymore instead counterexamples are generated using prover alternatives - for counterexamples, smt printer always prints incrementally: first the goal, then the ground hypotheses, then the others
eaba8837