[isabelle-dev] Fwd: isabelle test failed

Larry Paulson lp15 at cam.ac.uk
Fri Jun 12 15:36:53 CEST 2015


All the documentation is failing for some reason. Does anybody know what is going on?
Larry

> Begin forwarded message:
> 
> From: "Account Isatest" <isatest at lxbroy2>
> Subject: isabelle test failed
> Date: 12 June 2015 14:31:10 BST
> To: lp15 at cam.ac.uk
> 
> Test for platform at-sml-dev-e failed. Log file attached.
> [...]
> Unfinished session(s): HOL, HOL-Library, Pure
> Finished at Fri Jun 12 03:18:06 CEST 2015
> 0:00:46 elapsed time, 0:00:48 cpu time, factor 1.04
> ------------------- test FAILED --- Fri Jun 12 03:18:06 CEST 2015 --- lxbroy3
> 
> Test for platform at-poly-test failed. Log file attached.
> [...]
> Unfinished session(s): Classes, Codegen, Eisbach, Implementation, Intro, Isar_Ref, JEdit, Logics, Logics_ZF, Nitpick, Prog_Prove, Sledgehammer, System, Tutorial
> Finished at Fri Jun 12 04:54:04 CEST 2015
> 1:15:42 elapsed time, 4:21:04 cpu time, factor 3.44
> ------------------- test FAILED --- Fri Jun 12 04:54:04 CEST 2015 --- lxbroy4
> 
> Test for platform mac-poly64-M2 failed. Log file attached.
> [...]
> Unfinished session(s): HOL-Mirabelle-ex
> Finished at Fri Jun 12 08:20:08 CEST 2015
> 5:02:17 elapsed time, 7:46:10 cpu time, factor 1.54
> ------------------- test FAILED --- Fri Jun 12 08:20:08 CEST 2015 --- macbroy6
> 
> Test for platform at64-poly failed. Log file attached.
> [...]
> Unfinished session(s): HOL-Proofs, HOL-Proofs-Extraction, HOL-Proofs-Lambda, HOL-Proofs-ex, Implementation
> Finished at Fri Jun 12 11:26:07 CEST 2015
> 8:09:17 elapsed time, 8:27:07 cpu time, factor 1.03
> ------------------- test FAILED --- Fri Jun 12 11:26:07 CEST 2015 --- lxbroy10
> 
> Have a nice day,
>  isatest
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: isatest-makeall-at-poly-test-2015-06-12-lxbroy4.log
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20150612/e2995bf7/attachment-0004.log>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: isatest-makeall-at-sml-dev-e-2015-06-12-lxbroy3-e.log
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20150612/e2995bf7/attachment-0005.log>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: isatest-makeall-at64-poly-2015-06-12-lxbroy10.log
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20150612/e2995bf7/attachment-0006.log>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: isatest-makeall-mac-poly64-M2-2015-06-12-macbroy6.log
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20150612/e2995bf7/attachment-0007.log>
-------------- next part --------------
> 



More information about the isabelle-dev mailing list