summaryrefslogtreecommitdiff
path: root/bin/analyze-archive.py
diff options
context:
space:
mode:
Diffstat (limited to 'bin/analyze-archive.py')
-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(';'):