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