reset [-h]
Resets the whole system, in order to read in another model and to perform verification on it.
Command options: