reset - Resets the whole system.


reset [-h]

Resets the whole system, in order to read in another model and to perform verification on it.

Command options:

-h
Prints the command usage.

Last updated on 2009/03/04 12h:51