Kill of sequence profiles: seq count in progress is hacky
- The information is put in the
task_index
: https://gitlab.inria.fr/batsim/batsim/-/blob/4f12a4b51ab38ff2936bc1116fa3f34a05f494e6/src/jobs_execution.cpp#L81 - But this is not how the
task_index
is defined.
A dedicated field seems cleaner and easier to use.