(self)
| 134 | self.stop() |
| 135 | |
| 136 | def stop(self): |
| 137 | self.stop_flag = True |
| 138 | self.init_complete.set() |
| 139 | self.cmd_query_condition.set() |
| 140 | self.cmd_response_condition.set() |
| 141 | self.timer.cancel() |
| 142 | # Terminate the session |
| 143 | if hasattr(self, 'session') and self.session: |
| 144 | try: |
| 145 | self.session.close(force=True) |
| 146 | del self.session |
| 147 | except: |
| 148 | pass |
| 149 | |
| 150 | # Process a proof batch |
| 151 | def process_batch(batch_id, item, batch_answers, context, autoformalization, |
no outgoing calls
no test coverage detected