consistently export --plot-param graphs to PDF

3 files changed, 5 insertions, 1 deletions

diff --git a/bin/analyze-archive.py b/bin/analyze-archive.py
index e6fbe8e..9e5d4be 100755
--- a/bin/analyze-archive.py
+++ b/bin/analyze-archive.py
@@ -817,6 +817,8 @@ if __name__ == "__main__":
                 attribute,
                 model.param_index(param_name),
                 extra_function=function,
+                output=f"{state_or_trans}-{attribute}-{param_name}.pdf",
+                show=not args.non_interactive,
             )
 
     if args.export_dref:
diff --git a/bin/analyze-kconfig.py b/bin/analyze-kconfig.py
index 9954656..78435b7 100755
--- a/bin/analyze-kconfig.py
+++ b/bin/analyze-kconfig.py
@@ -421,6 +421,8 @@ def main():
                 attribute,
                 model.param_index(param_name),
                 extra_function=function,
+                output=f"{state_or_trans}-{attribute}-{param_name}.pdf",
+                show=not args.non_interactive,
             )
 
     if args.cross_validate:
diff --git a/bin/analyze-log.py b/bin/analyze-log.py
index 0c30b3b..1d92bc7 100755
--- a/bin/analyze-log.py
+++ b/bin/analyze-log.py
@@ -276,7 +276,7 @@ def main():
                 title=state_or_trans,
                 ylabel=attribute,
                 xlabel=param_name,
-                output=f"{state_or_trans} {attribute} {param_name}.pdf",
+                output=f"{state_or_trans}-{attribute}-{param_name}.pdf",
                 show=not args.non_interactive,
             )