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