Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix bug found at ptask experiments
authorBruno Donassolo <bruno.donassolo@inria.fr>
Fri, 4 Mar 2022 16:51:02 +0000 (17:51 +0100)
committerBruno Donassolo <bruno.donassolo@inria.fr>
Mon, 7 Mar 2022 09:23:25 +0000 (10:23 +0100)
commit2b564f86aa3a75bc55e6610087f79145019708b2
tree216fb98e57eb9b9bbb96bd361f350d07b228d819
parent00487352c466435e1418fdb2123641aece28abf3
Fix bug found at ptask experiments

The consumption of bounded variables exceed constraint capacity leading
to wrong behavior of the algorithm.

Added some UTs for special case with bounds.
src/kernel/lmm/bmf.cpp
src/kernel/lmm/bmf.hpp
src/kernel/lmm/bmf_test.cpp