Skip to content

#800 PLCgen: forbid events without controllability

Albert Hofkamp requested to merge 800-plcgen-disallow-events-without-controlability into develop
  • Change prechecker check from "no tau" to "no events without controllability".
  • Adapt tests that have events without controllability (in the same way as #628).
  • Add prechecker test to verify correct behavior wrt event controllability.

Closes #800 (closed)

Merge request reports

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