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

Most upvoted comments

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:

I was in Sydney and Gerringong during last december. Was my first time in Australia.

— Reply to this email directly, view it on GitHub https://github.com/trealla-prolog/trealla/issues/76#issuecomment-1418302330, or unsubscribe https://github.com/notifications/unsubscribe-auth/AFNKSEX7NL2C5MRXUQPKAWLWWA465ANCNFSM6AAAAAAR2TAHEE . You are receiving this because you commented.Message ID: @.***>