From 79eda01716c8bc3efba3e540d524db400c65c89c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jun 2015 08:34:11 +0000 Subject: [PATCH] Fix in prism-auto: do not look for matching export files unless we need to. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9972 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 3de99854..750878b5 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -342,8 +342,6 @@ def benchmark(file, args, dir=""): args = addExtraArgs(args) # Expand output files to full paths args = expandFilenames(args, dir) - # Determine which out files apply to this benchmark from the -export switches - outFiles = getExpectedOutFilesFromArgs(args) # Rename export files to avoid overriding out files exportPrefix = 'tmp.' @@ -369,6 +367,8 @@ def benchmark(file, args, dir=""): # Verify that exported files are correct (if required) if not options.echo and outFiles and options.test: + # Determine which out files apply to this benchmark from the -export switches + outFiles = getExpectedOutFilesFromArgs(args) # print "Out files to verify exports against: " + ' '.join(outFiles) allEqual = verifyAndCleanupExports(outFiles, exportPrefix) if (not allEqual) and (not options.testAll):