From bc0cdc331da73aa265f024bd483a4d5830bb724e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jun 2015 00:08:50 +0000 Subject: [PATCH] Add -no-renaming switch to prism-auto (useful for generating export test files for new tests). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9967 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 08160402..16c7368d 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -346,7 +346,8 @@ def benchmark(file, args, dir=""): # Rename export files to avoid overriding out files exportPrefix = 'tmp.' - args = renameExports(exportPrefix, args) + if (not options.noRenaming): + args = renameExports(exportPrefix, args) # print '\033[94m' + "EXECUTING BENCHMARK" + '\033[0m' # print "File: " + file @@ -532,6 +533,7 @@ parser.add_option("-n", "--non-recursive", action="store_true", dest="nonRec", d 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") +parser.add_option("--no-renaming", action="store_true", dest="noRenaming", default=False, help="Don't rename files to be exported") (options, args) = parser.parse_args() if len(args) != 1: parser.print_help()