diff options
| author | jfalkenhagen <jfalkenhagen@uos.de> | 2020-08-09 15:13:59 +0200 |
|---|---|---|
| committer | jfalkenhagen <jfalkenhagen@uos.de> | 2020-08-09 15:13:59 +0200 |
| commit | 8acccebc6d9bc0423c3da011b645ee379b71a417 (patch) | |
| tree | 5e68cbc959fc8def610e10ae2a6d5fbb4767d1ff /bin/analyze-archive.py | |
| parent | 61fb6094a33c4855c763f1925e61aec90294daa3 (diff) | |
| parent | 1d9bbd0ec9fdc2ed63630137602207260b13285b (diff) | |
Merge branch 'master' into janis
Diffstat (limited to 'bin/analyze-archive.py')
| -rwxr-xr-x | bin/analyze-archive.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/analyze-archive.py b/bin/analyze-archive.py index 8311f5c..aa266ed 100755 --- a/bin/analyze-archive.py +++ b/bin/analyze-archive.py @@ -150,8 +150,8 @@ def model_quality_table(result_lists, info_list): "key", "attribute", "static".center(19), - "LUT".center(19), "parameterized".center(19), + "LUT".center(19), ) ) for state_or_tran in result_lists[0]["by_name"].keys(): @@ -434,7 +434,7 @@ if __name__ == "__main__": ) sys.exit(2) - if len(traces) > 20: + if len(traces) > 40: print(f"""Truncating plot to 40 of {len(traces)} traces (random sample)""") traces = random.sample(traces, 40) |