Disable/Configure automatic typechecker?

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


Switch on  Power Safe Mode.

In Power Safe Mode, the type-system only runs on explicit demand from the user (F5).

@Palpandi Perumal: Thank you i didn't know that


Please sign in to leave a comment.