Esempio n. 1
0
 def _exit(self):
     yicespy.yices_free_context(self.yices)
     yicespy.yices_free_param_record(self.yices_params)
Esempio n. 2
0
 def _exit(self):
     yicespy.yices_free_context(self.yices)
Esempio n. 3
0
 def _exit(self):
     yicespy.yices_free_context(self.yices)
Esempio n. 4
0
 def _exit(self):
     yicespy.yices_free_context(self.yices)
     yicespy.yices_free_param_record(self.yices_params)