def main(args): if yices_has_mcsat(): yices_init() test_mcsat() yices_exit() print 'bye'
def tearDown(self): yices_exit()
def tearDown(self): yapi.yices_exit()
def cleanup(): yicespy.yices_exit()
def exit(show_profile=False): """Deletes all the internal data structure, must be called on exiting to prevent leaks.""" if show_profile: print(Profiler.dump()) yapi.yices_exit()