From 5942b9e977499b67942a2a9f9e888acbff5e6e66 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 24 Jun 2015 20:19:07 +0000 Subject: [PATCH] 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 --- prism/etc/scripts/prism-auto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 8f12398d..0fc5dc1c 100755 --- 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)