- Previously, for each location, the automaton invariants were handled, where the location invariants were to be processed.
- It was a copy/paste bug.
- This could affect synthesis performance.
Closes #377 (closed)
Closes #377 (closed)
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent