Echtzeitsysteme / gips

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

Validator: No detection of two type issues in `[...]` #101

Open maxkratz opened 1 year ago

maxkratz commented 1 year ago

Both examples:

constraint -> mapping::n2n {
    [self.variables().v >= 1 => self.value() => 1] & // the last operator is wrong but not detected
    [self.value() >= 1 => self.variables().v >= 1]
}
constraint -> mapping::n2n {
    [self.variables().v >= 1 => self.value()] & // the last expr is missing an arithmetic operator
    [self.value() >= 1 => self.variables().v >= 1]
}
maxkratz commented 1 year ago

TODO: Check if this is a symptom of https://github.com/Echtzeitsysteme/gips/issues/102.