Create a Proof Test Task

This topic describes how to create a Proof Test Task for an Instrumented Function or a Logic Solver using a blank datasheet.

Steps

  1. Access the Logic Solver or the Instrumented Function for which you want to create a Proof Test Task.
  2. In the workspace, select the Proof Test Tasks tab.

    The Proof Test Tasks section appears, displaying a list of Proof Test Tasks for the Logic Solver or the Instrumented Function.

    The Proof Test Tasks section

  3. In the upper-left corner of the workspace, select

    A blank datasheet for a Proof Test Task appears.

    The blank datasheet of a Proof Test Task

  4. As needed, enter values in the available fields.

    Note: In the Task Type field, you must select the value PROOF TEST.

  5. In the upper-right corner of the datasheet, select .

    The Proof Test Task is created.

What's Next?

Copyright © 2018 General Electric Company. All rights reserved.