Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

There is no automatic checking for deadlocks,
 which can be difficult to detect. However, if your suite is known to  complete (i.e.it it does not run forever), then simulation can be used to check for deadlocks.

...

Code Block
trigger /suite/family1/task1==complete and ( /suite/family2 \
        eq complete or /suite/family3 eq complete )

There cannot be any characters after the line continuation character `\'; any keyword can appear in an expression but they must be used in a way that makes sense. For example, a task can never be set or clear and, likewise, an event can only be set or clear.
Anchordatedate See section 5.3.6 on externs for details on using triggers external to the suite.