Skip to content

#299 Add warning for duplicated event in state/event exclusion invariant

Ferdie Reijnen requested to merge 299-add-warning-for-duplicated-event-in-state-event-exclusion-invariant into develop

Closes #299 (closed)

Merge request reports

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent