gistfile1.txt

--- a/src/tcp/window.ml
+++ b/src/tcp/window.ml
@@ -61,11 +61,11 @@ let count_ackd_segs = MProf.Counter.make ~name:"tcp-ackd-segs"
 (* To string for debugging *)
 let pp fmt t =
   Format.fprintf fmt
-    "Window: rx_nxt=%a rx_nxt_inseq=%a tx_nxt=%a rx_wnd=%lu tx_wnd=%lu snd_una=%a backoffs=%d rto=%Lu"
+    "Window: rx_nxt=%a rx_nxt_inseq=%a tx_nxt=%a rx_wnd=%lu tx_wnd=%lu cwnd=%lu snd_una=%a backoffs=%d rto=%Lu"
     Sequence.pp t.rx_nxt
     Sequence.pp t.rx_nxt_inseq
     Sequence.pp t.tx_nxt
-    t.rx_wnd t.tx_wnd
+    t.rx_wnd t.tx_wnd t.cwnd
     Sequence.pp t.snd_una
     t.backoff_count t.rto
 
@@ -116,6 +116,7 @@ let valid t seq =
   let r = Sequence.between seq ledge redge in
   Log.debug (fun f -> f "sequence validation: seq=%a range=%a[%lu] res=%b"
     Sequence.pp seq Sequence.pp t.rx_nxt t.rx_wnd r);
+  Log.debug (fun f -> f "%a" pp t);
   r