Use the correct device index in taskpool devices_index_mask

TESSEorg / ttg

TTG: Template Task Graph C++ API

18 stars 12 forks source link

Closed devreal closed 5 months ago

devreal commented 7 months ago

We should use the linear index [0..nb_devices-1] instead of device->device_index.

devreal commented 5 months ago

Not needed, closing