Skip to content

#424 Generalize allowed invariants check.

Albert Hofkamp requested to merge 424-more-general-invariants-checker into develop

Addresses #424

Just supervisor kind checking for invariants wasn't sufficient for cif2plc, so generalized the invariants check to place, supervisor kind and invariant kind.

Merge request reports