Verify a logic solver

  1. Navigate to the logic solver.
  2. Right-click, and then select Verify without download.
  3. Click OK after the configuration check completes.

If there are configuration errors or warnings, a Configuration Check Results dialog is displayed.