Skip to content

Add warning for duplicated state invariant

Similar to #299 (closed).

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