  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 2011/10/28 14h:49
