From 7a520bcfca8dbf68902accaca37fbab96c7afa10 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Thu, 10 Apr 2014 12:22:12 +0100
Subject: [PATCH] Add tip about running the same test case many times.

Copied from Perforce
 Change: 185420
 ServerID: perforce.ravenbrook.com
---
 mps/tool/testrun.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/mps/tool/testrun.sh b/mps/tool/testrun.sh
index 87559faf1d4..5950aa5d1e2 100755
--- a/mps/tool/testrun.sh
+++ b/mps/tool/testrun.sh
@@ -13,6 +13,14 @@
 # Usage::
 # 
 #     testrun.sh DIR ( SUITE | CASE1 CASE2 [...] )
+#
+# You can use this feature to run the same test many times, to get
+# lots of random coverage. For example::
+#
+#     yes amcss | head -100 | xargs tool/testrun.sh code/xc/Debug
+#
+# This runs the AMC stress test 100 times from the code/xc/Debug
+# directory, reporting all failures.
 
 # Make a temporary output directory for the test logs.
 LOGDIR=$(mktemp -d /tmp/mps.log.XXXXXX)