Add type hints to start_execution function

6 years ago · 376a6604f5
parent ecd975023d
commit 376a6604f5
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/time_handler.py
+++ b/mythril/laser/ethereum/time_handler.py
@ -7,7 +7,7 @@ class TimeHandler(object, metaclass=Singleton):
        self._start_time = None
        self._execution_time = None
-    def start_execution(self, execution_time, transaction_count):
+    def start_execution(self, execution_time: int, transaction_count: int):
        self._start_time = int(time.time() * 1000)
        self._execution_time = execution_time * 1000 // transaction_count