Automatically proof test redundant CHARMs Smart Logic Solvers (CSLS)

Automatic proof testing is available for redundant CSLSs only. The Proof Testing tab of the CSLS Properties dialog has an Enable automatic proof test to run at reminder time check box. When checked, the CSLS performs the proof test when the number of days since the last reset reaches the configured time. The automatic proof test will begin after the CSLS sets the reminder alert. At the time of automatic proof test: