cosmetic: flush stdout and stderr before printing summary

Change-Id: I9c7eec29c200ec90e9908457a07b79122014a0e9
This commit is contained in:
Neels Hofmeyr 2017-04-08 21:16:27 +02:00
parent ef42cb51fa
commit 2ef9b00d51
1 changed files with 2 additions and 0 deletions

View File

@ -168,6 +168,8 @@ if __name__ == '__main__':
current_trial.err('FAIL')
trials_failed.append(current_trial.name())
sys.stderr.flush()
sys.stdout.flush()
if trials_passed:
print('Trials passed:\n ' + ('\n '.join(trials_passed)))
if trials_failed: