diff options
| author | lloyd <[email protected]> | 2010-03-02 20:01:24 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2010-03-02 20:01:24 +0000 |
| commit | a4578ff53ffa39b71032765cd02ebdd5ea6cb6eb (patch) | |
| tree | d42d5af982a9b39414bcc47cceef77e974ea52c6 /checks/block.cpp | |
| parent | b43cc46149b6d653fb403b2f4c6b28483b6b975a (diff) | |
Make CVC tests a bit more verbose
Diffstat (limited to 'checks/block.cpp')
0 files changed, 0 insertions, 0 deletions