From 5548d6a38deebbba91688ef850d5506ea8365886 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Mon, 5 Nov 2018 17:52:48 +0530 Subject: [PATCH] remove redundant code --- mythril/laser/ethereum/svm.py | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py index d9c45b81..74e9effe 100644 --- a/mythril/laser/ethereum/svm.py +++ b/mythril/laser/ethereum/svm.py @@ -103,20 +103,7 @@ class LaserEVM: "Increase the resources for creation execution (--max-depth or --create-timeout)" ) - # Reset code coverage - self.coverage = {} - for i in range(self.max_transaction_count): - initial_coverage = self._get_covered_instructions() - - self.time = datetime.now() - logging.info( - "Starting message call transaction, iteration: {}".format(i) - ) - execute_message_call(self, created_account.address) - - end_coverage = self._get_covered_instructions() - if end_coverage == initial_coverage: - break + self._execute_transactions(created_account.address) logging.info("Finished symbolic execution") logging.info(