Try the previous thread pool. Tests should pass

common/utils/task_manager/task_manager_gen.h

@@ -11,9 +11,9 @@
 // desired thread pool
 
 // Work stealing thread pool
- #define task_manager_t ws_task_manager_t
+// #define task_manager_t ws_task_manager_t
 // Previous single queue OAI thread pool 
-//#define task_manager_t tpool_t
+#define task_manager_t tpool_t
 // Most rated C thread pool in github
 //#define task_manager_t threadpool
 

common/utils/task_manager/threadPool/thread-pool.h

@@ -343,6 +343,9 @@ static inline int abortTpool(tpool_t *t) {
     thread = thread->next;
   }
 
+  if(t->allthreads != NULL)
+    free(t->allthreads);
+
   return nbRemoved;
 }