Email Gateway (Aug 22 2022 at 17:44): Email Gateway (Aug 22 2022 at 17:44):From: Christian Sternagel <c.sternagel@gmail.com>
Dear List,
I just tried to build IsaFoR with RC3 and the following happened.
First (and that is not the thing I wanted to report, but probably needed
to reproduce it) my machine ran out of space during the build of session
IsaFoR_3 and I got an error messages along the lines (sorry the exact
output is no longer accessible):
no space left on device
So I removed (lots of) old heap images and restarted the build. At this
point the following happened (after a few seconds):
"/home/griff/.isabelle/Isabelle2018-RC3/heaps/polyml-5.7.1_x86_64-linux/log/IsaFoR_3.db"
Building IsaFoR_3 ...
poly: savestate.cpp:874: void LoadRelocate::AddTreeRange(SpaceBTree**,
unsigned int, uintptr_t, uintptr_t): Assertion `!(*tt)->isLeaf' failed.
IsaFoR_3 FAILED
(see also
/home/griff/.isabelle/Isabelle2018-RC3/heaps/polyml-5.7.1_x86_64-linux/log/IsaFoR_3)
IsaFoR_4 CANCELLED
Code CANCELLED
Unfinished session(s): Code, IsaFoR_3, IsaFoR_4
btw: the log file
/home/griff/.isabelle/Isabelle2018-RC3/heaps/polyml-5.7.1_x86_64-linux/log/IsaFoR_3
was empty.
cheers
chris
Last updated: Nov 21 2024 at 12:39 UTC