X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Frconn.c;h=c21b7e849210e0189bf43b3d0010aa1d9e9337f2;hb=dd8d6b8cd4d708553037e306d41d1c501d3cecad;hp=45df35dbe68d43a2a0028d2fe682359b8fbf2f1c;hpb=d98e60075528c3065ad453f7add4b30f22edcde3;p=openvswitch

diff --git a/lib/rconn.c b/lib/rconn.c
index 45df35db..c21b7e84 100644
--- a/lib/rconn.c
+++ b/lib/rconn.c
@@ -34,6 +34,11 @@
 
 VLOG_DEFINE_THIS_MODULE(rconn);
 
+COVERAGE_DEFINE(rconn_discarded);
+COVERAGE_DEFINE(rconn_overflow);
+COVERAGE_DEFINE(rconn_queued);
+COVERAGE_DEFINE(rconn_sent);
+
 #define STATES                                  \
     STATE(VOID, 1 << 0)                         \
     STATE(BACKOFF, 1 << 1)                      \