Skip to content

#523 Optimize enforcement of state plant invariants like state requirement invariants

It seems for the test models we have, the change actually makes things worse. Then again, we had something similar for state requirement invariants, if I remember correctly. The test models are simply too small and too few to reach any real conclusion. And for real-world models, for state requirement invariants, it did actually improve performance, a lot. So, here we just do the same for state plant invariants. We currently don't have enough test or real-world models to conclude what is best either way.

Closes #523 (closed)

Merge request reports