Database Diagnostics
The Database Diagnostics utility checks correctness of the workarea database (charts.data), and reports internal database errors, if exist (unlike the Check-model tool, which checks completeness and correctness of the Statemate user-model).
To examine database error information, use the Utilities > Database Diagnostics option. The database diagnostics results can be displayed as tree with the results ordered by error number or by error category.