[isabelle-dev] [158c513a39f5] JVM crash

Makarius makarius at sketis.net
Wed Nov 8 15:44:27 CET 2017

On 08/11/17 15:39, Manuel Eberl wrote:
>> If these crashes are happening at the end of the build process I would
>> suspect that it is something to do with either the data sharing or
>> writing out the heap image.
> Does writing out of the heap happen also when I just do "isabelle build
> Pure" as opposed to "isabelle build -b Pure"? Because the "-b" has no
> influence on whether it crashes or not.

Yes, Pure always produces a heap, independently of the -b option.


More information about the isabelle-dev mailing list