split time evenly over the required transactions

6 years ago · 0bded7c4b3
parent c21843df7a
commit 0bded7c4b3
1 changed files with 3 additions and 0 deletions
--- a/mythril/laser/ethereum/svm.py
+++ b/mythril/laser/ethereum/svm.py
@ -236,6 +236,9 @@ class LaserEVM:
            ):
                return final_states + [global_state] if track_gas else None

+            if self.time + timedelta(seconds=self.execution_timeout / self.transaction_count) <= datetime.now() and not create:
+                return final_states + [global_state] if track_gas else None
+
            try:
                new_states, op_code = self.execute_state(global_state)
            except NotImplementedError: