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: [email protected] (Account Isatest) > Date: 15 October 2011 5:01:01 PM AEDT > To: [email protected] > 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 > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
