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
