ortools/sat/cuts_test.cc fails on aarch64-linux #4746
Description
What version of OR-Tools and what language are you using?
Version: v9.12
Language: N/A
Which solver are you using (e.g. CP-SAT, Routing Solver, GLOP, BOP, Gurobi)
Running the test suite
What operating system (Linux, Windows, ...) and version?
NixOS on aarch64-linux
What did you do?
Steps to reproduce the behavior:
git clone https://github.com/NixOS/nixpkgs.git
cd nixpkgs
git fetch https://github.com/flokli/nixpkgs.git refs/heads/or-tools-tests
git checkout FETCH_HEAD
nix-build -A or-tools --argstr system aarch64-linux
… compare the same on a x86_64-linux machine.
What did you expect to see
The build to succeed
What did you see instead?
A failing test run on aarch64-linux (while it succeeds on x86_64-linux)
[----------] 3 tests from ImpliedBoundsProcessorTest
[ RUN ] ImpliedBoundsProcessorTest.PositiveBasicTest
/build/source/ortools/sat/cuts_test.cc:910: Failure
Value of: data.terms[0].DebugString()
Expected: starts with "coeff=1 lp=0 range=7"
Actual: "coeff=1 lp=1.11022e-16 range=7 expr=[1,-3] * [V2,V0] + -2"
[ FAILED ] ImpliedBoundsProcessorTest.PositiveBasicTest (0 ms)
[ RUN ] ImpliedBoundsProcessorTest.NegativeBasicTest
/build/source/ortools/sat/cuts_test.cc:966: Failure
Value of: data.terms[0].DebugString()
Expected: starts with "coeff=1 lp=0 range=7"
Actual: "coeff=1 lp=1.11022e-16 range=7 expr=[1,3] * [V2,V0] + -5"
[ FAILED ] ImpliedBoundsProcessorTest.NegativeBasicTest (0 ms)
[ RUN ] ImpliedBoundsProcessorTest.DecompositionTest
/build/source/ortools/sat/cuts_test.cc:1033: Failure
Value of: slack_term.DebugString()
Expected: starts with "coeff=1 lp=0 range=7"
Actual: "coeff=1 lp=1.11022e-16 range=7 expr=[1,-3] * [V4,V0] + -2"
[ FAILED ] ImpliedBoundsProcessorTest.DecompositionTest (0 ms)
[----------] 3 tests from ImpliedBoundsProcessorTest (0 ms total)
[ FAILED ] 3 tests, listed below:
[ FAILED ] ImpliedBoundsProcessorTest.PositiveBasicTest
[ FAILED ] ImpliedBoundsProcessorTest.NegativeBasicTest
[ FAILED ] ImpliedBoundsProcessorTest.DecompositionTest
Make sure you include information that can help us debug (full error message, model Proto).
Anything else we should know about your project / environment
You should probably be able to reproduce this without the nix build too, it depends on the architecture.