Create feature to include and exclude lists of models and solutions

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 giorgosbekas1995 closed 1 year ago

giorgosbekas1995 commented 1 year ago

Extend the mps-gradle generator plugin with the possibility to define include/exclude lists of models/solutions similar like the modelchecking plugin

HeikoBecker commented 1 year ago

@sergej-koscejev @wjglerum Since we have replaced #4 by this PR, I have tried to copy most of your comments from there here.

Please check that I did not forget something.