Source code for mythril.laser.ethereum.time_handler

import time
from mythril.support.support_utils import Singleton


[docs]class TimeHandler(object, metaclass=Singleton):
    def __init__(self):
        self._start_time = None
        self._execution_time = None

[docs]    def start_execution(self, execution_time):
        self._start_time = int(time.time() * 1000)
        self._execution_time = execution_time * 1000

[docs]    def time_remaining(self):
        return self._execution_time - (int(time.time() * 1000) - self._start_time)


time_handler = TimeHandler()