Idea: Setup model checker to ensure that error/warning silencer work properly on CL #189
Description
We have alreay a solution where the error/warning is silenced, to test this we could use the model-checker from the mps-gradle-plugin.
{{ message }}
We have alreay a solution where the error/warning is silenced, to test this we could use the model-checker from the mps-gradle-plugin.