Scryer requires much more virtual memory

[UWN]

In the past, Scryer was happy with ulimit -v 99999 and even less. But now, even

ulrich@p0:/opt/gupu/scryer-prolog$ ulimit -v 170000
ulrich@p0:/opt/gupu/scryer-prolog$ time target/release/scryer-prolog -f
Segmentation fault (core dumped)

real	0m0.610s
user	0m0.006s
sys	0m0.011s

is not enough. It starts to run with ulimit -v 172000 only.

But according to top it does not use all that memory.

Is there a way to reduce these requirements? The reason why I am so interested in this is that with higher margins the time to observe leakages also increases. Brief: less coverage.

[mthom]

It might be due to the recent autocompletion work. I can't think of why else it would suddenly use more memory. Maybe if we add an option to toggle it off?