Segfault DBF with smart priorities
The DBF scheduler has a bug that may end in a segmentation fault when the support for smart priorities is enabled.
The atSuccessor
method gets the TeamData
, which is not used in this scheduler, instead of ThreadData
.