trealla: bigint arithmetic gets killed
Why and by whom does it get killed, on WSL2:
$ ./tpl -v
Trealla Prolog (c) Infradig 2020-2022, v2.5.18
$ ./tpl
?- ['mpatan.p', 'libbf.p', 'treallastub.p'].
true.
?- time((between(1,1000,_), mp_pi(8192, _), fail; true)).
Killed
The test case works in SWI-Prolog with default memory settings.
See attachments for test case: libbf.p.log mpatan.p.log treallastub.p.log
About this issue
- Original URL
- State: closed
- Created 2 years ago
- Comments: 28 (12 by maintainers)
Commits related to this issue
- Fix bigint memory issues, re issue #76 — committed to trealla-prolog/trealla by infradig 2 years ago
Nice beach in Gerringong from what I remember of my childhood.
On Mon, Feb 6, 2023 at 9:57 AM Jean-Luc-Picard-2021 < @.***> wrote: