[Cbc] Problem when preprocess aggregate

[Haroldo Gambini Santos]

Hi,

While solving miplib instance biella1 with cbctrunk using option 
preprocess aggregate I got the following error (GCC 7.2.1, x86_64):

cbc: CbcHeuristic.cpp:2613: virtual int CbcRounding::solution(double&, 
double*, double): Assertion `fabs(floor(value + 0.5) - value) <= 
integerTolerance' failed.

Inspecting the values:
value: 1.9999969960955797
integerTolerance: 9.9999999999999995e-07
fabs(floor(value + 0.5)-value): 1

What is strange is that it seems that the floor function does not gives 
the correct result:
(gdb) p floor( 2.4999969960955797 )
$14 = 1



​========================================================
Haroldo Gambini Santos
Computing Department
Universidade Federal de Ouro Preto - UFOP
email: haroldo [at ] iceb.ufop.br
home/research page: www.decom.ufop.br/haroldo


It has long been an axiom of mine that the little things are infinitely
the most important.
-- Sir Arthur Conan Doyle, "A Case of Identity"
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20171226/5ae0f1e6/attachment.html>