Delete a Proof Test Task

This topic describes how to delete a Proof Test Task either from the SIS Management Overview page or from the list of tasks that are linked to a Logic Solver or an Instrumented Function.

Steps

Access the list of Proof Test Tasks that are linked to a Logic Solver or an Instrumented Function.
Select the check box that corresponds to the Proof Test Task that you want to delete, and then in the upper-right corner of the section, select .

The Delete Proof Test Task(s) dialog box appears, indicating that deleting the Proof Test Task will also delete the related records.
Select OK.

The Proof Test Task is deleted.