Closed JoranHonig closed 6 years ago
Adds individual contexts for each state, this is required for parallel computation. Required by https://github.com/ConsenSys/mythril/pull/211 to work.
Both prs need to be merged before either repository creates a release!
Adds individual contexts for each state, this is required for parallel computation. Required by https://github.com/ConsenSys/mythril/pull/211 to work.
Both prs need to be merged before either repository creates a release!