Hi all,
Many of us have already seen isatest and other failures with of the
following form:
/tmp/mira/workbench/26748-140130062513920/Isabelle/lib/scripts/run-polyml:
line 77: 13588 Killed "$POLY" -q $ML_OPTIONS
...
make: ***
[/tmp/mira/workbench/26748-140130062513920/Isabelle/heaps/polyml-5.4.0_x86_64-linux/log/HOL-Regular-Sets.gz]
Error 137
or
/tmp/mira/workbench/42947-139804334458624/Isabelle/lib/scripts/run-polyml:
line 77: 58024 Aborted "$POLY" -q $ML_OPTIONS
...
make: ***
[/tmp/mira/workbench/42947-139804334458624/Isabelle/heaps/polyml-5.4.0_x86_64-linux/log/HOL-Word-JinjaThreads.gz]
Error 134
Does anybody know if there is a straightforward translation of the error
codes 134/137 into English?
It would be really useful if we had a table of the most common failure
situations, and I wonder if some of this knowledge is already floating
around somewhere...
Alex
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
