yinyang (version 0.3.0 installed via pip) consumes ~40G of memory when running with the provided semantic-fusion-seeds/QF_SLIA seeds. Using more seeds will increase memory consumption (with the QF_SLIA logic from SMT-LIB yinyang runs out of memory on my machine with 128G memory). The memory consumption increases rapidly on startup and seems to be stable after yinyang actually starts fuzzing. The same behavior can be observed with the current git version on master.
The command I use to run yinyang is: yinyang ./solver.sh semantic-fusion-seeds/QF_SLIA/
yinyang (version 0.3.0 installed via pip) consumes ~40G of memory when running with the provided
semantic-fusion-seeds/QF_SLIAseeds. Using more seeds will increase memory consumption (with the QF_SLIA logic from SMT-LIB yinyang runs out of memory on my machine with 128G memory). The memory consumption increases rapidly on startup and seems to be stable after yinyang actually starts fuzzing. The same behavior can be observed with the current git version on master.The command I use to run yinyang is:
yinyang ./solver.sh semantic-fusion-seeds/QF_SLIA/