In this challenge we want you to implement unit tests for Mythril and LASER-ethereum. You will find a few existing tests in Mythril repo, but we need more of them. The target test coverage is above 80% (the more the better); be sure to setup a way to generate unit test coverage report, and implement the testing in similar way for both repositories. Follow the best practices for Python and unit-testing, and add the section on unit-testing into READMEs of both repos.
This challenge will be judged by subjective scorecard. In their scoring reviewers are expected to take into account whether: (1) the minimal test coverage has been achieved; (2) the quality of test setup and code; (3) the final test coverage.