Is there an easy way to disable that for testing purposes? Some line I have to remove from a .scala file or something?
Manuel On 2017-11-08 15:44, Makarius wrote: > 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. > > > Makarius
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
