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

@@ -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: