From 2ff89c09a4f8d5aa7ccbd44ba2583766b354b80e Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 10 Aug 2016 15:51:24 +0000 Subject: [PATCH] prism-auto: color 'NOT TESTED' test result just like 'SKIPPED' NOT TESTED is the result of a // RESULT: ? line in a property file git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11599 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- 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 a1680326..11834286 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -376,7 +376,7 @@ def printTestResult(msg): print('\033[31m' + msg + '\033[0m') elif 'PASS' in msg: print('\033[32m' + msg + '\033[0m') - elif 'SKIPPED' in msg: + elif 'SKIPPED' in msg or 'NOT TESTED' in msg: print('\033[90m' + msg + '\033[0m') elif 'UNSUPPORTED' in msg or 'Warning:' in msg: print('\033[33m' + msg + '\033[0m')