-
Notifications
You must be signed in to change notification settings - Fork 706
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
Mythril is very slow #1847
Comments
Hi @JacobYiu, the default timeout for symbolic execution is usually set high. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Description
Often times, when I run a simple analyze command on a smart contract, it is quick, other times it is very slow. Sometimes I am unable to use the command myth -h because it just hangs for some reason.
How to Reproduce
myth -h
myth analyze [contract].sol
Both of these give no output for a very long period of time.
-->
Expected behavior
Give results stating whether a contract is vulnerable or not
Screenshots
The text was updated successfully, but these errors were encountered: