mirror of https://github.com/ARMmbed/mbed-os.git
Bugfix: when displaying extra summary using -t option some indexes are not found and dictionary must be checked against key
parent
278acbec5d
commit
a09f3dd605
|
@ -370,12 +370,14 @@ class SingleTestRunner(object):
|
||||||
pt.padding_width = 1 # One space between column edges and contents (default)
|
pt.padding_width = 1 # One space between column edges and contents (default)
|
||||||
|
|
||||||
for test in unique_tests:
|
for test in unique_tests:
|
||||||
test_results = result_dict[test]
|
if test in result_dict:
|
||||||
row = [target, test, unique_test_desc[test]]
|
test_results = result_dict[test]
|
||||||
for toolchain in unique_toolchains:
|
if test in unique_test_desc:
|
||||||
if toolchain in test_results:
|
row = [target, test, unique_test_desc[test]]
|
||||||
row.append(test_results[toolchain])
|
for toolchain in unique_toolchains:
|
||||||
pt.add_row(row)
|
if toolchain in test_results:
|
||||||
|
row.append(test_results[toolchain])
|
||||||
|
pt.add_row(row)
|
||||||
result += pt.get_string()
|
result += pt.get_string()
|
||||||
shuffle_seed_text = "Shuffle Seed: %.*f"% (self.SHUFFLE_SEED_ROUND,
|
shuffle_seed_text = "Shuffle Seed: %.*f"% (self.SHUFFLE_SEED_ROUND,
|
||||||
shuffle_seed if shuffle_seed else self.shuffle_random_seed)
|
shuffle_seed if shuffle_seed else self.shuffle_random_seed)
|
||||||
|
|
Loading…
Reference in New Issue