Check Model Test Settings File
You can create and use Check‑Model test‑sets. Test‑sets are files that define enabled/disabled Check‑Model tests that are saved in the Rational Statemate Preferences directory and are available for all users using that directory.
1. Choose Tools > Check Model to open the Check Model dialog box and the New/Open Check Model Profile dialog box.
3. On the Check Model dialog box, choose Options > Test Setting Configurations to open the Test Settings Configuration dialog box, as shown in the following figure:
●
Choose a test setting file from which to load test settings for the current session; click the Load Test Settings From File check box.
●
Save the current test settings (as defined on the Test Setting dialog box, which you open by choosing Options > Test Settings) as a test settings file; click the Save Current Test Settings As button.
●