From 3653d64604b8e4f05570e267367f5ab483bf28d6 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 12 Jul 2018 15:09:44 +0200 Subject: [PATCH] prism-auto: handle case of a 0 time out Print test statistics also in the (not particularly useful) case that the timeout is set to 0 by testing against None instead to see if a timeout was set. --- prism/etc/scripts/prism-auto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index fdb7a7da..03dccbb6 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -667,7 +667,7 @@ def printTestStatistics(): printColoured('SKIPPED', ' Skipped: ' + str(testStats['SKIPPED'])) if options.skipDuplicates: printColoured('SKIPPED', ' Skipped dup.: ' + str(testStats['DUPLICATE']) + ' (due to --skip-duplicate-runs)') - if options.timeout: + if options.timeout is not None: printColoured('FAILURE', ' Timeouts: ' + str(testStats['TIMEOUT'])) def countTestResult(msg):