diff options
author | David Kalnischkies <david@kalnischkies.de> | 2014-05-30 15:58:30 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2014-05-30 15:58:30 +0200 |
commit | 5681b3fc2a8e35a12cd7c8e94013611211188459 (patch) | |
tree | 04d5447d4971062420d5a1e5789bb433a5e9dc26 /test/integration/marvinparanoid.sec | |
parent | 58377ceb4b62e8f50ddae8f17ce1511e4bf79a18 (diff) |
check exit status of external solvers
Solvers are supposed to exit successfully even if they haven't found a
solution, but a solver which fails drastically (like e.g. segfaults)
should be detected and dealt with accordingly instead of ignored.
Diffstat (limited to 'test/integration/marvinparanoid.sec')
0 files changed, 0 insertions, 0 deletions