Update mythril container, reduce depth, parallelize the solver

tokencard / contracts

The Consumer Contract Wallet

GNU General Public License v3.0

94 stars 40 forks source link

Closed nostdm closed 4 years ago

nostdm commented 4 years ago

Added Mythril improvements to hopefully reduce the time it takes for the solver to complete.