From 2e2639d38d284d231b2e8a76d4327cfc7511b7e8 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jun 2015 12:09:19 +0000 Subject: [PATCH] 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 | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 1be2192f..8c8e79eb 100755 --- a/prism/etc/scripts/prism-auto +++ b/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)