prism-auto script does not allow = in generated log file names.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4917 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · 50d20f8344
1 changed files with 1 additions and 1 deletions
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@ -175,7 +175,7 @@ def getArgsListsFromFile(file):
 def createLogFileName(args):
 	logFile = '.'.join(args)
 	logFile = re.sub('/', '_', logFile)
-	logFile = re.sub('[^a-zA-Z0-9_=, \.]', '', logFile)
+	logFile = re.sub('[^a-zA-Z0-9_, \.]', '', logFile)
 	logFile = re.sub('[ ]+', '.', logFile)
 	logFile = re.sub('[\.]+', '.', logFile)
 	logFile = re.sub('^[\._]+', '', logFile)