From c0cd3810f2b5e15a3857bbcbe2c5c50d740a1060 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 11 Jun 2015 14:43:56 +0000 Subject: [PATCH] prism-auto bugfix: something got broken for processing property files during recent refactoring. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9996 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index b8a943f0..1a4b6ab1 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -493,8 +493,8 @@ def benchmarkPropertiesFile(propertiesFile): modelFiles = getModelsInDir(dir) for modelFile in modelFiles: # Expand model based on any .args file, too - for modelArgs in getMatchingArgListsForFile(modelFile[0]): - benchmark(modelFile[0], modelFile[1] + modelArgs + [propertiesFile] + args, dir) + for modelArgs in getMatchingArgListsForFile(modelFile): + benchmark(modelFile, modelArgs + [propertiesFile] + args, dir) # Execute benchmarking based on a property list