E.g. http://isabelle.in.tum.de/reports/Isabelle/report/467d6354323c42c2bb12b0a956b40f9e#l1607
This is reproducible on lxbroy10 when building a Collections image
(running alone is no problem) with settings like
ML_OPTIONS='--heap 500'
ISABELLE_BUILD_JAVA_OPTIONS='-Xmx4096m -Xss2m'
With
ML_OPTIONS='--heap 1000'
the Collections image can be built.
Maybe the test should be adjusted accordinly.
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
