From ed01390e40df3edbb5acfa971ac669e6f78a4fb1 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 2 Aug 2017 14:27:52 +0000 Subject: [PATCH] prism-auto: integrate warning for missing files (export check) into warning tracking / colour printing git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12194 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 6271cb3f..7272aa09 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -312,7 +312,8 @@ def getExpectedOutFilesFromArgs(args): fullName = base + str(i) + '.' + ext foundFile = True if not foundFile: - print('\033[93m' + "Warning: There is no file of the form " + base + "[number]." + ext + " to compare against -- will skip" + '\033[0m') + printColoured('WARNING', "Warning: There is no file of the form " + base + "[number]." + ext + " to compare against -- will skip") + incrementTestStat('WARNING') return resultFiles # Create a valid name for a log file based on a list of benchmark arguments