next up previous contents
Next: Selecting timing points Up: The Interaction Cycle Previous: Selecting the redundancy proof   Contents

Selecting the output information

The command sams allows to control the output information that is presented to the user during a saturation proccess.



Harald Ganzinger 2002-12-04

Imprint | Data Protection