Access a Proof Test Task Linked to a Logic Solver

This topic describes how to access a Proof Test Task that you have created for a Logic Solver either in SIS Management or in Asset Strategy (after promoting a Recommendation to ASM).

Steps

Access the Logic Solver that is linked to the Proof Test Task that you want to access.
In the workspace, select the Tasks tab.

The Proof Test Tasks section appears, displaying a list of Proof Test Tasks.
Select the Proof Test Task that you want to access.

The datasheet for the Proof Test Task appears.
If needed, modify values in the available fields.
In the upper-right corner of the datasheet, select .

The changes made to the Proof Test Task are saved.