diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-06-25 08:06:08 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-07-23 06:02:33 -0400 |
| commit | 8afa727c28064c7672f656b889d8049b49370139 (patch) | |
| tree | 954b0845e87a9d187dc6e149db654c981e67fa3c /src | |
| parent | 3740f63a46e1a7fa328a157d25f11e3d307cde13 (diff) | |
Properly report tests that segfault.
Segmentation faults are clearly test failures;
make sure to report them accordingly.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions