Use --max-memory=0 to disable the memory limit. Setting a memory limit larger than 2GB is unreliable in the current implementation.
On 11 May 2015, at 15:18, Martin Hořeňovský <[email protected]> wrote: > 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
