From 6291b2340055acfc5487141af5c1adb76cdf0662 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 23 Nov 2014 14:25:51 -0800 Subject: README: Added note about --dump-tests. --- README.md | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'README.md') 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: -- cgit v1.2.3