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()