Hi all,
for three weeks, SML-makeall is continuously failing with the following error message:
[/tmp/mira/workbench/15468-139692104476416/Isabelle/heaps/smlnj_x86-linux/HOL-Proofs] Error 152 [/tmp/mira/workbench/15468-139692104476416/Isabelle/heaps/smlnj_x86-linux/log/HOL-Metis_Examples.gz] Error 152 [/tmp/mira/workbench/15468-139692104476416/Isabelle/heaps/smlnj_x86-linux/HOL-IMP] Error 152
The error occured the first time on changeset 6d2af424d0f8 (cf. http://isabelle.in.tum.de/reports/Isabelle/rev/6d2af424d0f8) and SML-makeall still succeeded on fd21bbcbe61b. In the time between those changesets, mainly three developers have been doing some changes.
We should look why the errors occur. Maybe we have to adjust the timeouts for these sessions.
Lukas _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
