diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-12 11:05:58 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-12 11:05:58 +0100 |
| commit | eb2bc55a8b41c79fc856f235c5d333c82f79883e (patch) | |
| tree | 7dec5ca6766bd60808b59a5196edede80f0363db /Test/test0 | |
| parent | 02f6f213f7517d03fcdc08f07b12670e21f004b2 (diff) | |
Convert houd12.bpl into a OutputCheck style test and also pass
--dump-file-to-check flag to OutputCheck by default to ease debugging
Diffstat (limited to 'Test/test0')
0 files changed, 0 insertions, 0 deletions