Skip to content

[prove] add option -X

Loïc Correnson requested to merge feature/prove/dump-xx into master

Add new option -X to print failed tasks in extenso using Why3.Pretty.print_sequent (glory detailed tasks, like printed in why3 ide).

Edited by Loïc Correnson

Merge request reports