diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-07-09 12:38:19 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-09 12:55:41 -0700 |
| commit | 0ac1d6a242c3bb5a43a8131c9fe8c00c977fe5ca (patch) | |
| tree | ea29f99550f62c6fb1a75c780f8cc213db239e48 /tools | |
| parent | e6acb7e7a43ac64d83c410b9f83c13743b934d6f (diff) | |
Fixed small bug in test runner.
(Error printing errors from the test program.)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions