#144 Changed supervisor simplification for events that are not enabled in the system to true.
requested to merge 144-Supervisor-simplification-with-respect-to-plant-guards-misses-trivial-case into develop
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent