release/6.3.0: Test suite does not pass gecode/test/int.cpp:289: void Test::Int::TestSpace::prune(int, bool, Gecode::Support::RandomGenerator &): Assertion '(v < x[i].max()) && (v >= x[i].min())' failed. #200

[0/1] Running tests...
Test project /<<PKGBUILDDIR>>-build/build/stage-2/minizinc-meta/gecode
    Start 1: test
1/1 Test #1: test .............................Subprocess aborted***Exception:   0.57 sec
Int::Arithmetic::Mult::XYZ::Bnd::C ++
Int::Arithmetic::Mult::XYZ::Dom::A gecode-test: /<<PKGBUILDDIR>>/gecode/test/int.cpp:289: void Test::Int::TestSpace::prune(int, bool, Gecode::Support::RandomGenerator &): Assertion `(v < x[i].max()) && (v >= x[i].min())' failed.


0% tests passed, 1 tests failed out of 1

Total Test time (real) =   0.57 sec

The following tests FAILED:
          1 - test (Subprocess aborted)
Errors while running CTest
FAILED: CMakeFiles/test.util