Hi,
How exactly are you using the --max-memory flag? It should make a
difference if you change it to e.g., --max-memory 3000.
Best,
Cristian
P.S. Please do not include figures, copy & paste the textual output
instead.
On 26/11/2025 22:29, Sun wrote:
Hi KLEE community,
I'm getting the warnings:
"skiiping fork (memory cap exceeded)"
"WARNING: killing XXXX states (over memory cap: 2103MB)"
image.png
and the tool terminates many states early. I tried using the
"--max-memory" flag to raise the cap, but it seems to have no effect.
Is there any way to let KLEE use more memory / disable that 2GB cap?
Any advice would be greatly appreciated. Thanks in advance for your help!
Best regards
_______________________________________________
klee-dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]
_______________________________________________
klee-dev mailing list -- [email protected]
To unsubscribe send an email to [email protected]
