diff options
| author | John MacFarlane <fiddlosopher@gmail.com> | 2014-11-23 14:25:51 -0800 |
|---|---|---|
| committer | John MacFarlane <fiddlosopher@gmail.com> | 2014-11-23 14:25:51 -0800 |
| commit | 6291b2340055acfc5487141af5c1adb76cdf0662 (patch) | |
| tree | 260d991ec2a2b36b7aeab66ac6e62a2bffeda44f /README.md | |
| parent | d00777955aa7cc6ac826b064cdb999240a12f727 (diff) | |
README: Added note about --dump-tests.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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: |