diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2020-05-27 10:40:50 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-05-27 10:40:50 +0200 |
commit | 23927051ac3e64cabbaa6c30e8356dfe90ebfa6c (patch) | |
tree | bff67cc3311a6ae7a3a7d6dd11f861f4c0704edf | |
parent | 2d89290854d10a22a0c333736803e8b7be385bb2 (diff) |
analyze-archive: add transitions to --param-info output
-rwxr-xr-x | bin/analyze-archive.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/analyze-archive.py b/bin/analyze-archive.py index b254e76..ecfda51 100755 --- a/bin/analyze-archive.py +++ b/bin/analyze-archive.py @@ -349,6 +349,10 @@ if __name__ == '__main__': print('{}:'.format(state)) for param in model.parameters(): print(' {} = {}'.format(param, model.stats.distinct_values[state][param])) + for transition in model.transitions(): + print('{}:'.format(transition)) + for param in model.parameters(): + print(' {} = {}'.format(param, model.stats.distinct_values[transition][param])) if 'plot-unparam' in opts: for kv in opts['plot-unparam'].split(';'): |