[isabelle-dev] Isabelle_makeall not finishing on testboard

Lars Noschinski noschinl at in.tum.de
Fri Mar 21 11:23:14 CET 2014

Hi Brian,

On 20.03.2014 15:24, Brian Huffman wrote:
> I've noticed that recent changesets (up to 00112abe9b25) on testboard
> have completed Pure and HOL tests, but the HOL_makeall results never
> show up. (The most recent HOL_makeall report is 3253aaf73a01, dated
> March 18.)
> Does anyone know why this is? Is one of the HOL theories going into an
> infinite loop? (I currently have insufficient computing resources to
> test everything myself.)

No; it is just that the relevant Mira instance crashed. I've restarted
it now.

Best regards,


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 534 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20140321/b28f9c9a/attachment.sig>

More information about the isabelle-dev mailing list