<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On 02/10/2011, at 6:57 PM, Lukas Bulwahn wrote:</div><blockquote type="cite"><div text="#000000" bgcolor="#ffffff">the traditional isatest's AFP-Test did not report any failures the
last few days,<br>
but the emerging testboard infrastructure mentions failures over the
last few versions, and the current tips<br>
<br>
<a class="title">76aec35b4898934df700ee54ce4d8fb7b99b0388:AFP,fa3715b35370fd27bc9e6bd03fad4a34b0724af3:Isabelle</a>
<br>
<br>
still seem to be broken.<br></div></blockquote><div><br></div><div>Interesting. It worked fine the last few days in the AFP test since Andreas fixed it, e.g. 2010-10-01 (testing against isabelle-RC1):</div><div><br></div><div><div>Testing [JinjaThreads]</div><div>cd /home/kleing/volatile/isadist/Isabelle_01-Oct-2011/src/HOL; /home/kleing/volatile/isadist/Isabelle_01-Oct-2011/bin/isabelle make HOL-Word</div><div>make[1]: Entering directory `/home/kleing/volatile/isadist/Isabelle_01-Oct-2011/src/HOL'</div><div>make[2]: Entering directory `/home/kleing/volatile/isadist/Isabelle_01-Oct-2011/src/Pure'</div><div>make[2]: Nothing to be done for `Pure'.</div><div>make[2]: Leaving directory `/home/kleing/volatile/isadist/Isabelle_01-Oct-2011/src/Pure'</div><div>Building HOL-Word ...</div><div>Timing HOL-Word (4 threads, 12.164s elapsed time, 32.254s cpu time, 3.208s GC time, factor 2.65)</div><div>Finished HOL-Word (0:00:34 elapsed time, 0:00:45 cpu time, factor 1.32)</div><div>make[1]: Leaving directory `/home/kleing/volatile/isadist/Isabelle_01-Oct-2011/src/HOL'</div><div>cd ..; /home/kleing/volatile/isadist/Isabelle_01-Oct-2011/bin/isabelle usedir -v true -i true -g true -d pdf -V outline=/proof,/ML -M 1 -q 0 -p 0 /home/kleing/afp/isabelle-afp-poly/heaps/polyml-5.4.0_x86_64-linux/HOL-Word JinjaThreads</div><div>Running HOL-Word-JinjaThreads ...</div><div>Timing HOL-Word-JinjaThreads (1 threads, 4084.464s elapsed time, 4078.263s cpu time, 650.917s GC time, factor 1.00)</div><div>Browser info at /home/kleing/afp/isabelle-afp-poly/browser_info/HOL/HOL-Word/JinjaThreads</div><div>Document at /home/kleing/afp/isabelle-afp-poly/browser_info/HOL/HOL-Word/JinjaThreads/document.pdf</div><div>Document at /home/kleing/afp/isabelle-afp-poly/browser_info/HOL/HOL-Word/JinjaThreads/outline.pdf</div><div>Finished HOL-Word-JinjaThreads (1:09:13 elapsed time, 1:09:03 cpu time, factor 0.99)</div><div>Finished [JinjaThreads]</div><div><br></div></div><div><br></div><blockquote type="cite"><div text="#000000" bgcolor="#ffffff">For people involved in this issue, here is a more detailed report:<br>
<br>
<a class="moz-txt-link-freetext" href="http://isabelle.in.tum.de/reports/Isabelle/report/37c2d104871b443f8b6dbd0a8b8b0314">http://isabelle.in.tum.de/reports/Isabelle/report/37c2d104871b443f8b6dbd0a8b8b0314</a><br></div></blockquote></div><br><div>The report just ends with "Interrupt". Is it possible that this is a time-out or similar?</div><div><br></div><div>Has the isabelle tip changed</div></body></html>