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()