From 23927051ac3e64cabbaa6c30e8356dfe90ebfa6c Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Wed, 27 May 2020 10:40:50 +0200 Subject: analyze-archive: add transitions to --param-info output --- bin/analyze-archive.py | 4 ++++ 1 file changed, 4 insertions(+) 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(';'): -- cgit v1.2.3