-
Notifications
You must be signed in to change notification settings - Fork 22
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
High memory usage #47
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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/
The text was updated successfully, but these errors were encountered: