From 3d6976f0945b8bbfbb859006c971f0c87fc7a4fd Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jun 2015 08:42:36 +0000 Subject: [PATCH] Fix in prism-auto: need to read model args files too when running a .test file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9974 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 59b68f24..d6d7ee16 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -440,7 +440,7 @@ def benchmarkModelFile(modelFile, modelArgs=[], dir=""): for testFile in testFiles: logging.debug("Test file: " + str(testFile)) for testArgs in getArgsListsFromFile(testFile): - benchmark(modelFile, modelArgs + testArgs, dir) + benchmark(modelFile, modelArgs + args + testArgs, dir) # Execute benchmarking on a test file, i.e. a file that has the same structure as an args file, # but which does not have any corresponding prop file