Prism 6.0 Reference Manual

EXAMPLES

This command creates a pset foo containing the processes 0, 4, and 7:

define pset foo 0, 4, 7

This command defines a pset odd containing the odd-numbered processes between 1 and 31:

define pset odd 1:31:2

This command defines a pset quux that contains processes that are members of either pset foo or pset bar:

define pset quux foo | bar

This command defines a pset noty that consists of all processes that are stopped except those in which y is equal to 1:

define pset noty stopped - { y == 1 }