On 08/08/16 11:14, Lars Hupel wrote: > Dear all, > > the latest build failure for the repository is spurious: > > *** exception Fail raised (line 83 of "./basis/PolyMLException.sml"): > Insufficient memory > > This happened in HOL-Proofs. Makarius, it may or may not be connected to > the recent changes you did in proof reconstruction (994d1a1105ef).
This situation illustrates what "flying blind means" concerning continuous testing. With a chart showing performance parameters (CPU time, elapsed time, heap size) in the past few weeks, it should be normally easy to see a small step or spike for HOL-Proofs or its applications. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev