diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-02-24 03:45:10 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-04-11 07:53:43 -0400 |
| commit | 9dcebe3dadad5ae5e96e09597ab5bd83ed8ba9de (patch) | |
| tree | be84215fbb17484656e065c6999fb3613bd3447a /native/src/blocking | |
| parent | 3ee2fdea3adc70148e632b333067fd445e8be87e (diff) | |
Bugfix: handle the case of zero slack in BaruahGedf
This could create a floating point exception (division by zero) in edge cases.
Diffstat (limited to 'native/src/blocking')
0 files changed, 0 insertions, 0 deletions