From 308ee00e64c3cfcae823a1d919cb071d4b28c22b Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Jul 2015 16:57:38 +0000
Subject: [PATCH] prism-auto: Commenting

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10255 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/scripts/prism-auto | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto
index 170f5450..0a56b8b9 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -344,6 +344,8 @@ def runPrism(args, dir=""):
         if not options.testAll:
             sys.exit(1)
 
+# Print a testing-related message, colour coding if needed
+
 def printTestResult(msg):
     msg = str.rstrip(msg)
     if 'Error:' in msg or 'FAIL' in msg: