search

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

modelcheck: --parallel flag #13

Closed kolmar closed 10 months ago

kolmar commented 10 months ago