コード例 #1
0
ファイル: cmd.py プロジェクト: ankur8931/sdn-nrl 
 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()
コード例 #2
0
ファイル: testExplain.py プロジェクト: ankur8931/sdn-nrl 
 def tearDown(self):
     glob.reset_globals()
     deinit_nusmv()