Mythril is very slow

[JacobYiu]

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

[norhh]

Hi @JacobYiu, the default timeout for symbolic execution is usually set high.
You can adjust execution timeout using --execution-timeout <timeout> which is in seconds.
Usually techniques such as symbolic execution and Fuzzing are meant to be run for a long time.