diff options
| author | Marius Kintel <marius@kintel.net> | 2013-04-05 04:11:48 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2013-04-05 04:11:48 (GMT) |
| commit | 7b5cd11cdc923921cfae5b40fca5850fbd92de40 (patch) | |
| tree | 29e596958ef0b33b2a212577fc52579dc54e258a /src/csgtermnormalizer.cc | |
| parent | c7f83aa3e35baf8a517c40a367ec247a7061b225 (diff) | |
bugfix: If the test driver returned an error, it was ignored by the test script
Diffstat (limited to 'src/csgtermnormalizer.cc')
0 files changed, 0 insertions, 0 deletions