prism-auto debug output.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9979 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/etc/scripts/prism-auto

@@ -394,6 +394,7 @@ def benchmarkDir(dir):
     # Get "orphan" tests
     testFiles = filter(functools.partial(isOrphan, dir), getTestFilesInDir(dir))
     for testFile in testFiles:
+        logging.debug("Orphan test file: " + testFile)
         # print "Processing orphan test " + testFile + " in dir " + dir
         for args in getArgsListsFromFile(testFile):
             benchmark("", args, dir)