From ef77b9b7b2d7d115f3ae09b33ae3178abf6b08e6 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jos=C3=A9=20Fonseca?= Date: Mon, 12 Dec 2011 09:18:45 +0000 Subject: [PATCH] Use non-overlapping names for traces. --- driver.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/driver.py b/driver.py index 9894c9c..9caf395 100755 --- a/driver.py +++ b/driver.py @@ -243,7 +243,13 @@ class TestCase: return if self.trace_file is None: - name, ext = os.path.splitext(os.path.basename(self.cmd[0])) + if self.ref_dump is not None: + name = self.ref_dump + else: + name = self.cmd[0] + name, ext = os.path.splitext(os.path.basename(name)) + while ext: + name, ext = os.path.splitext(os.path.basename(name)) self.trace_file = os.path.abspath(os.path.join(self.results, name + '.trace')) if os.path.exists(self.trace_file): os.remove(self.trace_file) -- 2.43.0