chiark / gitweb /
Fix occasional 'min fragment 1.11022e-16' glitch.
authorSimon Tatham <anakin@pobox.com>
Sun, 9 Mar 2014 23:14:24 +0000 (23:14 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 9 Mar 2014 23:14:24 +0000 (23:14 +0000)
commit13849e71956f8a3a2142cadd24c4f2006a328a04
treed925ab43d6aeb5784ac66bc48d5048775e23a073
parente31fe684a1818601734a35571800c97079fb613d
Fix occasional 'min fragment 1.11022e-16' glitch.

Seems to happen in multicore mode when the first worker reports a
near-zero value of 'best', and then set_best reduces it to a negative
number when it applies the rounding fudge, leading to the max_frags
limits being set to negative things and all other workers' results
being thrown away in preconsider_ok().
main.c