diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2020-07-15 11:10:33 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-07-15 11:10:33 +0200 |
commit | 65f480ab43ff9767f16a0d2941d81d0b4bf02f48 (patch) | |
tree | b1ae927e62d62b4f4685149fe5f3ad7ebf18e630 /bin | |
parent | fd277cb77927a6764b7d5e85f8935319032edf5d (diff) |
analyze-archive: Add header to model quality table
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/analyze-archive.py | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/bin/analyze-archive.py b/bin/analyze-archive.py index 3075e3d..aa1ca07 100755 --- a/bin/analyze-archive.py +++ b/bin/analyze-archive.py @@ -145,6 +145,15 @@ def format_quality_measures(result): def model_quality_table(result_lists, info_list): + print( + "{:20s} {:15s} {:19s} {:19s} {:19s}".format( + "key", + "attribute", + "static".center(19), + "LUT".center(19), + "parameterized".center(19), + ) + ) for state_or_tran in result_lists[0]["by_name"].keys(): for key in result_lists[0]["by_name"][state_or_tran].keys(): buf = "{:20s} {:15s}".format(state_or_tran, key) @@ -155,7 +164,7 @@ def model_quality_table(result_lists, info_list): result = results["by_name"][state_or_tran][key] buf += format_quality_measures(result) else: - buf += "{:6}----{:9}".format("", "") + buf += "{:7}----{:8}".format("", "") print(buf) |