From c8aa09eef21b67214ebfdc501a3c47afd43454cc Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 21 Mar 2012 09:31:42 +0000 Subject: [PATCH] Add --test-all option to prism-auto script. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4923 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 52af1878..b92a2b3b 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -201,7 +201,8 @@ def walk(dir, meth): def runPrism(args, dir=""): if options.test: - args.append("-test") + if options.testAll: args.append("-testall") + else: args.append("-test") if options.echo: print ' '.join(args) return @@ -229,8 +230,10 @@ def runPrism(args, dir=""): for line in open(logFile, 'r').readlines(): if re.match('Error:', line): print line, - print "Log file: " + logFile - sys.exit(1) + print "To see log file, run:" + print "cat " + logFile + if not options.testAll: + sys.exit(1) # Run a benchmark, specified by a list of command-line args, # possibly iterating over further lists of args from a "bm" file @@ -346,6 +349,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("--test-all", action="store_true", dest="testAll", default=False, help="In test mode, don't stop after an error") (options, args) = parser.parse_args() if len(args) != 1: parser.print_help()