Similar to #129, but this happens because now we allow delivery of more than one packet to the same process in the same step, and since the id is built as s"indication-$process-$index" we have duplicates.
Possible solutions
Have another index that is incremented each time Snapshot#next is called (now I only increment index when I receive the request batch or no delivery is selected).
Revert the changes that allow delivery of N packets to the same process, this was incorporated to support sync system model #12 but I think I may not use it now.
Similar to #129, but this happens because now we allow delivery of more than one packet to the same process in the same step, and since the id is built as
s"indication-$process-$index"we have duplicates.Possible solutions
Snapshot#nextis called (now I only increment index when I receive the request batch or no delivery is selected).