[isabelle-dev] Fwd: isabelle test failed

[Gerwin Klein]

This may be similar to the recent AFP failure:

/mnt/home/isatest/isadist/Isabelle_15-Oct-2011/lib/scripts/run-polyml: line 77: 13186 Aborted                 "$POLY" -q $ML_OPTIONS
HOL-MicroJava FAILED
(see also /home/isatest/isabelle-at64-poly/heaps/polyml-5.2.1_x86_64-linux/log/HOL-MicroJava)

Does anyone see a problem with updating that test to use poly-5.4.1?

Cheers,
Gerwin


Begin forwarded message:

> From: isatest at macbroy28.informatik.tu-muenchen.de (Account Isatest)
> Date: 15 October 2011 5:01:01 PM AEDT
> To: kleing at cse.unsw.edu.au
> Subject: isabelle test failed
> 
> Test for platform at64-poly failed. Log file attached.
> [...]
> 3:12:31 elapsed time, 4:33:07 cpu time, factor 1.41
> Logics HOL FAILED!
> ------------------- test FAILED --- Sat Oct 15 03:37:05 CEST 2011 --- macbroy24
> 
> Have a nice day,
>  isatest
>