From 500147ede4439614a219902e323b30b0608afc02 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 15 Jul 2015 21:51:20 +0000 Subject: [PATCH] prism-auto: Add -w/--show-warnings switch to show warnings (as well as errors) when in test mode. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10309 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 172045f3..abdeb030 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -337,6 +337,8 @@ def runPrism(args, dir=""): for line in open(logFile, 'r').readlines(): if re.match('Testing result:', line): printTestResult(line) + if options.showWarnings and re.match('Warning:', line): + printTestResult(line) if options.test and exitCode != 0: for line in open(logFile, 'r').readlines(): if re.match('Error:', line): @@ -360,7 +362,7 @@ def printTestResult(msg): print '\033[32m' + msg + '\033[0m' elif 'SKIPPED' in msg: print '\033[90m' + msg + '\033[0m' - elif 'UNSUPPORTED' in msg: + elif 'UNSUPPORTED' in msg or 'Warning:' in msg: print '\033[33m' + msg + '\033[0m' else: print msg @@ -636,6 +638,7 @@ parser.add_option("-p", "--prog", dest="prismExec", metavar="FILE", default="pri parser.add_option("-n", "--non-recursive", action="store_true", dest="nonRec", default=False, help="Don't recurse into directories") parser.add_option("-x", "--extra", dest="extraArgs", metavar="XXX", default="", help="Pass (single string of) extra switches to PRISM") parser.add_option("-t", "--test", action="store_true", dest="test", default=False, help="Run in test mode") +parser.add_option("-w", "--show-warnings", action="store_true", dest="showWarnings", default=False, help="Show warnings (as well as errors) when in test mode") parser.add_option("--test-all", action="store_true", dest="testAll", default=False, help="In test mode, don't stop after an error") parser.add_option("--no-renaming", action="store_true", dest="noRenaming", default=False, help="Don't rename files to be exported") parser.add_option("--debug", action="store_true", dest="debug", default=False, help="Enable debug mode: display debugging info")