Add an assert

quicwg · May 30, 2020 · 8295012 · 8295012
1 parent 820497e
commit 8295012
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/draft-ietf-quic-recovery.md b/draft-ietf-quic-recovery.md
@@ -1283,6 +1283,7 @@ GetPtoTimeAndSpace():
       * (2 ^ pto_count)
   # Arm PTO from now when there are no inflight packets
   if (no in-flight packets):
+    assert(!PeerCompletedAddressValidation())
     if (has handshake keys):
       return (now() + duration), Handshake
     else: