prism-auto: Add .obs to list of export filename extensions.

prismmodelchecker · Jul 11, 2024 · e8b3d20 · e8b3d20
1 parent e8fc71b
commit e8b3d20
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto
@@ -333,7 +333,7 @@ def addExtraArgs(argLists):
 
 def possibleNameClash(fullName):
     withoutExt = fullName.rsplit('.', 1)[0]
-    exts = ['lab','tra','stat','srew','trew']
+    exts = ['lab','tra','sta','srew','trew','obs']
 
     return any(map (os.path.exists, [fullName] + [withoutExt + '.' + ext for ext in exts] +  [withoutExt + '1.' + ext for ext in exts]))
 
@@ -412,7 +412,7 @@ def getExpectedOutFilesFromArgs(args):
         if (len(split) == 1): split = split + [""]
         # Determine relevant extensions
         if split[1] == 'all':
-            exts = ['lab','tra','sta','srew','trew']
+            exts = ['lab','tra','sta','srew','trew','obs']
         else:
             exts = [split[1]]
         if (moreExts): exts = exts + moreExts;