[isabelle-dev] failing tests

Gerwin Klein Gerwin.Klein at nicta.com.au
Mon Oct 1 09:38:44 CEST 2012

isatest and afptest have the following symptom when they get to their isabelle build call:

Building Pure ...
I/O error: /home/isatest/isabelle-at-poly/browser_info/isabelle.gif
Finished at Sun Sep 30 00:26:55 CEST 2012
0:00:12 elapsed time, 0:00:12 cpu time, factor 1.00
------------------- test FAILED --- Sun Sep 30 00:26:55 CEST 2012 --- lxbroy2

Any ideas what's going on?

Manual "isabelle build HOL" (or Pure) seem to work for me, but I can't figure out what the difference between the automated call and the manual one is. Also, isabelle.gif doesn't seem to be mentioned in any ROOT files.


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the isabelle-dev mailing list