#424 Generalize allowed invariants check. (!399) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet

Albert Hofkamp requested to merge 424-more-general-invariants-checker into develop Oct 26, 2022

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.

#424 Generalize allowed invariants check.

Merge request reports