Method set_elapsed_time

tools/reduce.py:262–263

(self, elapsed_time)

            stmt = strippedline[-1] in ';{}'

    def set_elapsed_time(self, elapsed_time):
        self.__elapsed_time = elapsed_time

    def writefile(self, filedata):
        self.__writefile(self.__file, filedata)