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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
