Hello, I am trying to run klee on a server with large amount of memory, but whenever klee's memory usage reaches a little bit over 2GB (as reported by top), it reports skipping forks and quickly after kills most states. (To the point where if I run klee with --only-output-states-covering-new, after klee kills its states, it reports succesfully finishing)
I tried running klee with --memory-limit=<large number>, but nothing changed. Is there a way to have klee use all available memory until OOM killer comes (or at least until it hits limit actually given by --memory-limit), or am I just running it wrong? (ulimit also reports having unlimited memory and cpu time) Oh and the binary built from commit 93b5671574cb1922e13ead59493dcc185e9c626d in case it was fixed since. Thank you in advance, Martin Hořeňovský _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
