Skip to content

HitManagement: Enable thread-safety checker.

Enable thread-safety checker and fix identified issues.

As part of this, make nextDetectorElement() non-const.

Merge request reports