From 46e7e979e8de28b9849b06c4f6f384a11715e7c9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jun 2015 12:36:57 +0000 Subject: [PATCH] prism-auto: Some improvements in detection of export files. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9982 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 12ca1c3c..bacb8f26 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -218,12 +218,18 @@ def renameExports(prefix, args): def getExpectedOutFilesFromArgs(args): options = [args[i+1] for i in range(len(args)-1) if args[i].startswith("-export")] - files = map(lambda option: option.split(':')[0], options) + optionsFiles = map(lambda option: option.split(':')[0], options) + # Sometimes we have comma-separated lists of files (e.g. -exportmodel) + files = [] + for file in optionsFiles: + files = files + file.split(",") + print str(files) resultFiles = [] for file in files: split = file.rsplit('.', 1) base = split[0] + if (len(split) == 1): split = split + [""] # Determine relevant extensions if split[1] == 'all': exts = ['lab','tra','sta','srew','trew']