Merge remote-tracking branch 'upstream/master' into tools_merge_20210513

This commit is contained in:
Tomasz Sobczyk
2021-05-13 10:53:57 +02:00
30 changed files with 811 additions and 903 deletions

View File

@@ -74,6 +74,7 @@ public:
void idle_loop();
void start_searching();
void wait_for_search_finished();
int id() const { return idx; }
void wait_for_worker_finished();
size_t thread_idx() const { return idx; }