Skip to content

Add infoContinue method in Reporter to emit without line return

Viktor Kuncak requested to merge github/fork/jad-hamza/info-continue into master

Created by: jad-hamza

This is to get the following output in Stainless, where each . corresponds to a valid VC.

[  Info  ] Starting verification..........................
[Warning ] SortedArray.scala:507:14:  => TIMEOUT
                 assert(isSortedRange(array, order, i+2, array.length-1))
                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
^C[  Info  ] 
[Warning ] Interrupted...
[Warning ] SortedArray.scala:508:14:  => CANCELLED
                 assert(order.leq(array(i+1), array(i+2)))
                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[  Info  ] ......................................................
[Warning ] SortedArray.scala:508:42:  => TIMEOUT
                 assert(order.leq(array(i+1), array(i+2)))
                                                    ^^^
[  Info  ] ..........................................................................................................................................................................................................................

Merge request reports