prism-auto bugfix: something got broken for processing property files during recent refactoring.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9996 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · c0cd3810f2
1 changed files with 2 additions and 2 deletions
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@ -493,8 +493,8 @@ def benchmarkPropertiesFile(propertiesFile):
            modelFiles = getModelsInDir(dir)
        for modelFile in modelFiles:
            # Expand model based on any .args file, too
-            for modelArgs in getMatchingArgListsForFile(modelFile[0]):
-                benchmark(modelFile[0], modelFile[1] + modelArgs + [propertiesFile] + args, dir)
+            for modelArgs in getMatchingArgListsForFile(modelFile):
+                benchmark(modelFile, modelArgs + [propertiesFile] + args, dir)

 # Execute benchmarking based on a property list