diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-11-03 14:44:55 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-11-03 14:44:55 +0100 |
| commit | c3a92f7255398f6500b868c20c0afd538dae09bf (patch) | |
| tree | dce092da93b5ff7039b723457ef3e4836fed8b5b /bin | |
| parent | ea627ab6d9b47c53e6b1e34837e928c9d599db51 (diff) | |
analyze number of substates per state
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/analyze-archive.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/analyze-archive.py b/bin/analyze-archive.py index eca98c4..35beae8 100755 --- a/bin/analyze-archive.py +++ b/bin/analyze-archive.py @@ -643,7 +643,8 @@ if __name__ == "__main__": ) if args.with_substates is not None: - substate_model, substate_info = model.get_substates() + substate_model = model.get_substates() + print(model.assess(substate_model, ref=model.sc_by_name)) if "paramdetection" in show_models or "all" in show_models: for state in model.states_and_transitions(): |