The proposed CDDL uses the internal variable "CR_Mark", which could be useful for understanding the exact state of the sender.
However, this variable (based on cwnd) is not explicitly described in the body of the specification. I suggest we look whether this is needed in the Qlog, and if so, how this relates to the state machine in the text and therefore what ought to be said.
The proposed CDDL uses the internal variable "CR_Mark", which could be useful for understanding the exact state of the sender.
However, this variable (based on cwnd) is not explicitly described in the body of the specification. I suggest we look whether this is needed in the Qlog, and if so, how this relates to the state machine in the text and therefore what ought to be said.