Is there any way to configure the automatic typechecker like the "Model Checker" tool?
You can set the model checking levels of the model checker:
This influences the amount of checks that will be performed by invoking "Check Model" on a model:
My goal is to temporarily disable automatic typesystem checks (e.g. checking rules, inference rules, ...) or constraints to find some performance issues in my implemented typesystems or constraints. Is there any way to do this?
Thank you in advance and best regards