Don’t turn extra args into a string if it is None

This fixes #215.
smarr · Aug 1, 2023 · 413fc53 · 413fc53
1 parent 429fd1c
commit 413fc53
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/rebench/model/run_id.py b/rebench/model/run_id.py
@@ -327,13 +327,14 @@ def as_str_list(self):
         return result
 
     def as_dict(self):
+        extra_args = self.benchmark.extra_args
         return {
             'benchmark': self.benchmark.as_dict(),
             'cores': self.cores,
             'inputSize': self.input_size,
             'varValue': self.var_value,
             'machine': self.machine,
-            'extraArgs': str(self.benchmark.extra_args),
+            'extraArgs': extra_args if extra_args is None else str(extra_args),
             'cmdline': self.cmdline(),
             'location': self.location
         }