[isabelle-dev] Isatest report [...]

Makarius makarius at sketis.net
Sat Oct 27 21:05:09 CEST 2012

On Wed, 24 Oct 2012, Jasmin Christian Blanchette wrote:

> So the last threee lines of the attachment are shown. Would it be possible to increase that to four? That way, we'd get the much more instructive
>    Test for platform mac-poly64-M2 failed. Log file attached.
>    [...]
>    Unfinished session(s): Codegen
>    Finished at Wed Oct 24 02:40:50 CEST 2012
>    2:12:57 elapsed time, 3:44:19 cpu time, factor 1.68
>    ------------------- test FAILED --- Wed Oct 24 02:40:50 CEST 2012 --- macbroy6

See c163145dd40f, which accomodates this extra line produced by isabelle 
build.  I am glad that I did not attempt to make its final status report 
"human-readable" by formatting it as a paragraph or similar.  So plain 
Unix tail can operate on it like that.

When I am back from vacation (15-Nov) I would like to do some further 
clear-out of some isatest features that are no longer relevant for its 
core business of testing and publishing test reports / statistics.


More information about the isabelle-dev mailing list