[isabelle-dev] Fwd: isabelle test failed

[Larry Paulson]

HOL-Proofs, etc., have been failing for several days now. Last time I checked, it was simply a timeout. Presumably some change to rewriting is to blame. It may be similar to the AFP failure that I fixed yesterday. Is anyone familiar with this entry?
Larry

> Begin forwarded message:
> 
> From: "Account Isatest" <isatest at lxbroy2>
> Subject: isabelle test failed
> Date: 26 June 2015 14:16:07 BST
> To: lp15 at cam.ac.uk
> 
> Test for platform mac-poly64-M2 failed. Log file attached.
> [...]
> Unfinished session(s): HOL-Mirabelle-ex
> Finished at Fri Jun 26 07:23:45 CEST 2015
> 4:11:41 elapsed time, 7:36:24 cpu time, factor 1.81
> ------------------- test FAILED --- Fri Jun 26 07:23:45 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 26 11:20:38 CEST 2015
> 8:09:35 elapsed time, 8:27:56 cpu time, factor 1.03
> ------------------- test FAILED --- Fri Jun 26 11:20:38 CEST 2015 --- lxbroy10
> 
> Have a nice day,
>  isatest
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: isatest-makeall-at64-poly-2015-06-26-lxbroy10.log
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20150626/24b71b6a/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: isatest-makeall-mac-poly64-M2-2015-06-26-macbroy6.log
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20150626/24b71b6a/attachment-0001.ksh>
-------------- next part --------------
>