Fix generate-dfa-benchmark leaving out benchmark parts when splitting runs

1 files changed, 1 insertions, 1 deletions

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):