Challenge Overview
Mythril is a security analysis tool for Ethereum smart contracts, written in Python.
Recently, multi-threading support was added to the db initialization feature. Users report bugs in the sync process. Your goal is to fix the bugs described in these issue tickets:
https://github.com/ConsenSys/mythril/issues/119
https://github.com/ConsenSys/mythril/issues/110
https://github.com/ConsenSys/mythril/issues/113
Recently, multi-threading support was added to the db initialization feature. Users report bugs in the sync process. Your goal is to fix the bugs described in these issue tickets:
https://github.com/ConsenSys/mythril/issues/119
https://github.com/ConsenSys/mythril/issues/110
https://github.com/ConsenSys/mythril/issues/113