1 files changed, 7 insertions, 0 deletions
diff --git a/README.md b/README.md
index 32ed91d..b795b40 100644
--- a/README.md
+++ b/README.md
@@ -77,6 +77,13 @@ Tests can also be run manually on any executable `$PROG` using:
 
     python runtests.py --program $PROG
 
+If you want to extract the raw test data from the spec without
+actually running the tests, you can do:
+
+    python runtests.py --dump-tests
+
+and you'll get all the tests in JSON format.
+
 The GNU Makefile also provides a few other targets for developers.
 To run a "fuzz test" against ten long randomly generated inputs: