Validator: Mismatch variable type + parameter type

Echtzeitsysteme / gips

Graph-Based (M)ILP Problem Specification Tool

https://gips.dev

GNU General Public License v3.0

3 stars 1 forks source link

Open maxkratz opened 1 year ago

maxkratz commented 1 year ago

[...]
var x : EInt bind param
[...]

rule x(param:EDouble) {
    [...]
}

^ this must be forbidden!