filikat

Destructor of TaskGroup can throw exception

1

The destructor of highs::parallel::TaskGroup calls: ~TaskGroup() taskWait() sync() sync_stolen_task() leapfrogStolenTask() runStolenTask() checkInterrupt() which may throw HighsTask::Interrupt(). There is no try-catch in this chain of calls, and the destructor is noexcept...