diff options
| author |  Gael Guennebaud <g.gael@free.fr> | 2015-03-24 13:39:14 +0100 |
|---|---|---|
| committer | Gael Guennebaud <g.gael@free.fr> | 2015-03-24 13:39:14 +0100 |
| commit | f42b105f73e69e05ea69c55d838a79555929731e (patch) | |
| tree | 83596aa84c52bc217fa37bb803418ce641202c2e /bench | |
| parent | d27968eb7ef3d2c7f9db17184850cf2071403ced (diff) | |
Add the possibility to make VERIFY* checks to output a warning instead of abording.
Diffstat (limited to 'bench')
0 files changed, 0 insertions, 0 deletions