re add max depth for now

6 years ago · b82717afed
parent b973a1686f
commit b82717afed
1 changed files with 1 additions and 0 deletions
--- a/mythril/laser/ethereum/svm.py
+++ b/mythril/laser/ethereum/svm.py
@ -33,6 +33,7 @@ class LaserEVM:
        self.work_list = []
        self.strategy = DepthFirstSearchStrategy(self.work_list, max_depth)
        self.max_depth = max_depth
        logging.info("LASER EVM initialized with dynamic loader: " + str(dynamic_loader))