reset - Reset 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
Print the command usage.

Last updated on 990908 16h51