summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2020-05-27 10:40:50 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2020-05-27 10:40:50 +0200
commit23927051ac3e64cabbaa6c30e8356dfe90ebfa6c (patch)
treebff67cc3311a6ae7a3a7d6dd11f861f4c0704edf /bin
parent2d89290854d10a22a0c333736803e8b7be385bb2 (diff)
analyze-archive: add transitions to --param-info output
Diffstat (limited to 'bin')
-rwxr-xr-xbin/analyze-archive.py4
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(';'):