From 04673cdd2355fd751c78bd8e861c0e70f6889899 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 29 Jun 2015 21:46:30 +0000 Subject: [PATCH] prism-auto: More debugging git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10125 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 bfed6340..57c7e12f 100755 --- 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