It is now possible to automatically check for errors at the timing when the user wants to check for errors.
Error checking runs in the background.
Pressing [Home] > [Model] > [Automatic error check] opens a dialog where you can set whether to automatically check errors, check timing, and check targets.
Configurable check timing: when project is opened, when project is saved
Configurable check targets: model constraint violations, product line development consistency
The error check settings are memorized for each user.