From d38c3a191c44806d87584b7bd6052072820bcea3 Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Thu, 15 Aug 2019 11:49:05 +0200
Subject: Fix generate-dfa-benchmark leaving out benchmark parts when splitting
 runs

---
 lib/dfatool.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/dfatool.py')

diff --git a/lib/dfatool.py b/lib/dfatool.py
index e318e81..528eabc 100755
--- a/lib/dfatool.py
+++ b/lib/dfatool.py
@@ -537,7 +537,7 @@ class TimingData:
         for filename in self.filenames:
             with open(filename, 'r') as f:
                 log_data = json.load(f)
-                self.traces_by_fileno.append(log_data['traces'])
+                self.traces_by_fileno.extend(log_data['traces'])
         self._concatenate_analyzed_traces()
 
     def get_preprocessed_data(self, verbose = True):
-- 
cgit v1.2.3