a

Format: a num modifier

(Also Format: a { cmds } ) See a.

Modifies assertion numbered num. modifier can be one of:
Modifier Meaning
a
Activates it.
d
Deletes it.
s
Suspends it. Suspended assertions continue to exist, but are not "in use".

To list the current assertions, use the l command (lowercase L):
l  a

See also info and l (lowercase L).


Previous

Next



Copyright © 1999, Green Hills Software. All rights reserved.