diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-02-21 04:09:34 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-04-11 07:53:40 -0400 |
| commit | 3ee2fdea3adc70148e632b333067fd445e8be87e (patch) | |
| tree | 1bb46a7d46f11c0fe8bdae13944c7fee0a6be21c /native/src/blocking/mpcp.cpp | |
| parent | b12d172d6599d7578bc811a36d939d89d415f636 (diff) | |
Implement timeout in BaruahGEDF
Give up after running for 5 seconds. This is almost never triggered, but once in a while
this should help to catch a pseudo-polynomial excursion.
Diffstat (limited to 'native/src/blocking/mpcp.cpp')
0 files changed, 0 insertions, 0 deletions