diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-06-02 10:43:47 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2016-06-02 10:45:19 -0700 |
| commit | 8a53ee9b579fef9a75bd25f881827f28739a1f68 (patch) | |
| tree | a921525ef8a37e0e147f2b203acc2f951de7b28d /Makefile | |
| parent | f4a82cf6a5f553c2c886de02c23b41f06f8a19c6 (diff) | |
Added new roundtrip_tests.py.
This replaces the old use of simple shell scripts.
It is much faster, and more flexible. (We will be able
to do custom normalization and skip certain tests.)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions