add todo comment to benchmark plugin

6 years ago · 6971b2c2e7
parent e55fb49440
commit 6971b2c2e7
1 changed files with 1 additions and 0 deletions
--- a/mythril/laser/ethereum/plugins/implementations/benchmark.py
+++ b/mythril/laser/ethereum/plugins/implementations/benchmark.py
@ -7,6 +7,7 @@ import logging
 log = logging.getLogger(__name__)


+# TODO: introduce dependency on coverage plugin
 class BenchmarkPlugin(LaserPlugin):
    """Benchmark Plugin