From 5814bbbc24fe2e1b98aabcf97b73d67b8fcd78a8 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Thu, 28 Mar 2019 16:01:41 +0530 Subject: [PATCH] consider creation transaction --- mythril/laser/ethereum/time_handler.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/time_handler.py b/mythril/laser/ethereum/time_handler.py index 12027a48..9e4561b5 100644 --- a/mythril/laser/ethereum/time_handler.py +++ b/mythril/laser/ethereum/time_handler.py @@ -12,7 +12,9 @@ class TimeHandler(object, metaclass=Singleton): def start_execution(self, execution_time: int, transaction_count: int): self._start_time = int(time.time() * 1000) - self._transaction_execution_timeout = execution_time * 1000 // transaction_count + self._transaction_execution_timeout = ( + execution_time * 1000 // (1 + transaction_count) + ) def transaction_time_remaining(self): return self._transaction_execution_timeout - (