Merged
requested to merge 198-efficient-enforcement-of-state-invariant-requirements-in-databased-synthesis-2 into develop
After our discussions, I'm replacing the simplify with a skip check.
Closes #198 (closed)
After our discussions, I'm replacing the simplify with a skip check.
Closes #198 (closed)
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent