| 73 | class SearchTask { |
| 74 | public: |
| 75 | SearchTask(): scratch_args(nullptr), max_const_num_(0), |
| 76 | stopped(false), attempts(0), solved(false), skip_next(false), |
| 77 | base_task(nullptr) {} |
| 78 | SearchTask(const SearchTask&) = delete; |
| 79 | ~SearchTask() { if (scratch_args) free(scratch_args); } |
| 80 | inline bool has_finalized() const { return scratch_args != nullptr; } |
nothing calls this directly
no outgoing calls
no test coverage detected