Black %#;.@&%^&

6 years ago · c19f54e17d
parent f79342ef04
commit c19f54e17d
1 changed files with 1 additions and 2 deletions
--- a/mythril/laser/ethereum/svm.py
+++ b/mythril/laser/ethereum/svm.py
@ -207,8 +207,7 @@ class LaserEVM:
            if (
                self.execution_timeout
-                and self.time
+                and self.time + timedelta(seconds=self.execution_timeout)
                + timedelta(seconds=self.execution_timeout)
                <= datetime.now()
                and not create
            ):