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

@@ -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