[isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle

Makarius makarius at sketis.net
Mon Aug 8 13:56:31 CEST 2016

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.


More information about the isabelle-dev mailing list