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

[Jasmin Christian Blanchette]

Hi all,

This is probably a question to Makarius. Today the Isatest reports look like this:

    Test for platform mac-poly64-M2 failed. Log file attached.
    [...]
    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

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

Thanks,

Jasmin