prism-auto bugfix (when calling on a properties file).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10091 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 5942b9e977
1 changed files with 1 additions and 1 deletions
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@ -538,7 +538,7 @@ def benchmarkPropertiesFile(propertiesFile):
    for args in argLists:
        # Find models
        if options.matching:
-            matchingModelFiles = getMatchingModelsInDir(dir, testFile)
+            matchingModelFiles = getMatchingModelsInDir(dir, propertiesFile)
            modelFiles = map(lambda file: [file,[]], matchingModelFiles)
        else:
            modelFiles = getModelsInDir(dir)