def __init__(self, benchmark_path): Tool.__init__(self) self.benchmark_path = os.path.expanduser(benchmark_path) self.numbers_dict = {} self.errors_dict = {} self.total = None self.name = "CompCert"
def __init__(self, benchmark_path): Tool.__init__(self) self.benchmark_path = os.path.expanduser(benchmark_path) self.errors_dict = None self.numbers_dict = None self.name = "Valgrind + GCC" self.total = None