prism-auto: More debugging

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10125 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 04673cdd23
1 changed files with 1 additions and 0 deletions
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@ -488,6 +488,7 @@ def benchmarkModelFile(modelFile, modelArgs=[], dir=""):
                propertiesFiles = getPropertiesInDir(dir)
            logging.debug("Properties files: " + str(propertiesFiles))
            for propertiesFile in propertiesFiles:
+                logging.debug("Property file: " + propertiesFile)
                for argsp in getMatchingArgListsForFile(propertiesFile):
                    benchmark(modelFile, modelArgs + args + [propertiesFile] + argsp, dir)
        # Find and benchmark auto files