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.

...

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.
See section on externs for details on using triggers external to the suite.