modelcheck: add errors from out-of-scope models to the JUnit report

mbeddr / mps-build-backends

Command-line utilities used e.g. by Gradle plugins to generate or check models.

Apache License 2.0

3 stars 4 forks source link

Closed kolmar closed 11 months ago