[isabelle-dev] Isatest report [...]
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