#150, #144 Add warning message for event not enabled in controlled state space and changed simplificating for those events (!122) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

Closed Ferdie Reijnen requested to merge 150-add-warning-message-for-event-not-enabled-in-controlled-statespace-for-databased-synthesis into develop Jul 20, 2021

Closes #150 (closed) Closes #144 (closed)

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