Skip to content

#311 Consider warning for /disallowing plant referencing requirements in CIF

Addresses #311 (closed)

It adds a warning for plant invariants that are defined in requirement automata.

It does not add a warning for referencing parts of a requirement in a plant automaton or plant invariant.

Merge request reports