comfort-glpk-0.1 test failure

[jkachmar]

           Numeric.GLPK:147: *** Failed! Falsified (after 37 tests and 7 shrinks):
           StorableArray.fromList (Range {rangeFrom = 'a', rangeTo = 'a'}) [5]
           ([Inequality 'a' (Between (-81.0) 89.0)],[Inequality [Term 1.0 'a'] (Between 3.0 5.0),Inequality [Term 4.0 'a'] (LessEqual 34.0),Inequality [] (GreaterEqual
0.0),Inequality [Term 10.0 'a'] (Between 48.0 67.0),Inequality [Term 3.0 'a'] (Between 9.0 27.0),Inequality [Term 3.0 'a'] (Between 15.0 20.0),Inequality [Term (-3.0) '
a'] (LessEqual 5.0)])
           (Minimize,StorableArray.fromList (Range {rangeFrom = 'a', rangeTo = 'a'}) [-4.0])

@thielema i don't see an issue tracker for comfort-glpk so i'm reporting this here

[thielema]

On Sat, 13 Jul 2024, jkachmar wrote: Numeric.GLPK:147: *** Failed! Falsified (after 37 tests and 7 shrinks): StorableArray.fromList (Range {rangeFrom = 'a', rangeTo = 'a'}) [5] ([Inequality 'a' (Between (-81.0) 89.0)],[Inequality [Term 1.0 'a'] (Between 3.0 5.0),Inequality [Term 4.0 'a'] (Le ssEqual 34.0),Inequality [] (GreaterEqual 0.0),Inequality [Term 10.0 'a'] (Between 48.0 67.0),Inequality [Term 3.0 'a'] (Between 9.0 27.0),Inequality [Term 3.0 'a'] (Be tween 15.0 20.0),Inequality [Term (-3.0) ' a'] (LessEqual 5.0)]) (Minimize,StorableArray.fromList (Range {rangeFrom = 'a', rangeTo = 'a'}) [-4.0]) @thielema i don't see an issue tracker for comfort-glpk so i'm reporting this here

This is likely a bug in the interior point solver of GLPK. I have reported problems with the interior point solver to the GLPK maintainers some time ago, but got no answer. :-( So, maybe disabling the tests for comfort-glpk?