def do_reset(self, args):
"""Reset the prompt; forget the read model and restart NuSMV."""
self.fsm = None
self.model = None
self.last = None
self.paths = []
glob.reset_globals()
reset_nusmv()
def tearDown(self):
glob.reset_globals()
deinit_nusmv()