summaryrefslogtreecommitdiff
path: root/test/integration/marvinparanoid.sec
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2014-05-30 15:58:30 +0200
committerDavid Kalnischkies <david@kalnischkies.de>2014-05-30 15:58:30 +0200
commit5681b3fc2a8e35a12cd7c8e94013611211188459 (patch)
tree04d5447d4971062420d5a1e5789bb433a5e9dc26 /test/integration/marvinparanoid.sec
parent58377ceb4b62e8f50ddae8f17ce1511e4bf79a18 (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