add module documentation

6 years ago · af7df1ecb7
parent e711da4785
commit af7df1ecb7
1 changed files with 7 additions and 0 deletions
--- a/mythril/laser/ethereum/plugins/implementations/init.py
+++ b/mythril/laser/ethereum/plugins/implementations/init.py
@ -0,0 +1,7 @@
+""" Plugin implementations
+
+This module contains the implementation of some features
+
+- benchmarking
+- pruning
+"""