From b5320f599dd1620c571d7f9627b846d6574624e7 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 15 Jul 2015 21:33:00 +0000 Subject: [PATCH] prism-auto: Redirect PRISM techLog as well as mainLog (e.g. for CUDD warnings) when in test mode. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10308 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 0896eca1..172045f3 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -322,13 +322,13 @@ def runPrism(args, dir=""): if options.logDir: logFile = os.path.join(options.logDir, createLogFileName(args, dir)) #f = open(logFile, 'w') - prismArgs = prismArgs + ['-mainlog', logFile] + prismArgs = prismArgs + ['-mainlog', logFile, '-techlog', logFile] exitCode = subprocess.Popen(prismArgs).wait() #exitCode = subprocess.Popen(prismArgs, cwd=dir, stdout=f).wait() elif options.test: f = tempfile.NamedTemporaryFile(delete=False) logFile = f.name - prismArgs = prismArgs + ['-mainlog', logFile] + prismArgs = prismArgs + ['-mainlog', logFile, '-techlog', logFile] exitCode = subprocess.Popen(prismArgs).wait() else: exitCode = subprocess.Popen(prismArgs).wait()