Model with '... samm:Constraint.' statements is valid. - Githubissues

eclipse-esmf / esmf-semantic-aspect-meta-model

Formal and textual specification of the Semantic Aspect Meta Model (SAMM)

https://eclipse-esmf.github.io/samm-specification/snapshot/index.html

Mozilla Public License 2.0

46 stars 9 forks source link

Model with '... samm:Constraint.' statements is valid. #272

Closed Yauhenikapl closed 7 months ago

Yauhenikapl commented 7 months ago

Changes:

add validation of empty Constraint;
add tests.

Fixes: #274