Skip to content
GitLab

#198 State requirement invariants per edge: replace simplify by a skip.

Merged Dennis Hendriks 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)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent