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

@@ -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']