diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/analyze-archive.py | 11 |
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(";"): |