Echtzeitsysteme / gips

Graph-Based (M)ILP Problem Specification Tool
https://gips.dev
GNU General Public License v3.0
3 stars 1 forks source link

Bug that causes `null` constraints #36

Open maxkratz opened 2 years ago

maxkratz commented 2 years ago

AND tests: There are constraints with null, symptom fixed by https://github.com/Echtzeitsysteme/gips/commit/b36a8f9710db1f45fc983eef8ad93bdd719f499d

ImportsTests are also affected by this. Symptoms now fixed for all three ILP solvers by https://github.com/Echtzeitsysteme/gips/commit/0e120465b2a5cd98a6d0661877dcf6ecc4cba7b2

maxkratz commented 1 year ago

Still not fixed. For an example, see test class GipsImportsSimpleMappingTest https://github.com/Echtzeitsysteme/gips-tests/blob/main/test.suite.gips/src/test/suite/gips/imports/GipslImportsSimpleMappingTest.java#L55-L62.

To reproduce the issue, one has to comment out the null checking line within the ILP solvers, e.g., https://github.com/Echtzeitsysteme/gips/blob/master/org.emoflon.gips.core/src/org/emoflon/gips/core/ilp/GlpkSolver.java#L331-L333.