X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fstream-ssl.c;h=1fc7446fd588995ca73d2adb75e2c8365c37d5d7;hb=5397a37788602c329b98de45a1dfdf899c7ea3b9;hp=b2a9f8453f61e59fd4d605c1a245023d2ea4120b;hpb=d98e60075528c3065ad453f7add4b30f22edcde3;p=openvswitch

diff --git a/lib/stream-ssl.c b/lib/stream-ssl.c
index b2a9f845..1fc7446f 100644
--- a/lib/stream-ssl.c
+++ b/lib/stream-ssl.c
@@ -47,6 +47,9 @@
 
 VLOG_DEFINE_THIS_MODULE(stream_ssl);
 
+COVERAGE_DEFINE(ssl_session);
+COVERAGE_DEFINE(ssl_session_reused);
+
 /* Active SSL. */
 
 enum ssl_state {