summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2014-11-23 14:25:51 -0800
committerJohn MacFarlane <fiddlosopher@gmail.com>2014-11-23 14:25:51 -0800
commit6291b2340055acfc5487141af5c1adb76cdf0662 (patch)
tree260d991ec2a2b36b7aeab66ac6e62a2bffeda44f
parentd00777955aa7cc6ac826b064cdb999240a12f727 (diff)
README: Added note about --dump-tests.
-rw-r--r--README.md7
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: