analyze-archive: --info: show argument values as well

1 files changed, 11 insertions, 0 deletions

diff --git a/bin/analyze-archive.py b/bin/analyze-archive.py
index 3427ce1..0be9ab0 100755
--- a/bin/analyze-archive.py
+++ b/bin/analyze-archive.py
@@ -678,6 +678,17 @@ if __name__ == "__main__":
                         ].stats.distinct_values_by_param_name[param],
                     )
                 )
+            for i in range(model._num_args[transition]):
+                print(
+                    "    Argument  {} ∈ {}".format(
+                        i,
+                        model.attr_by_name[transition][
+                            "duration"
+                        ].stats.distinct_values_by_param_index[
+                            len(model.parameters) + i
+                        ],
+                    )
+                )
 
     if args.plot_unparam:
         for kv in args.plot_unparam.split(";"):