
  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 990119 20h08
