X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fhmap.c;h=6b850fddcbf6d68206a560a4e3b127ce11a4fc3e;hb=6f20002c1201c1fc78fc7cedb49b103d8afe9da6;hp=6bc5ea74bd79482897a353d5ad8361a7f360fe0c;hpb=f3099647623f2b13ece56cf8cf31761c00c1c297;p=openvswitch

diff --git a/lib/hmap.c b/lib/hmap.c
index 6bc5ea74..6b850fdd 100644
--- a/lib/hmap.c
+++ b/lib/hmap.c
@@ -23,6 +23,11 @@
 #include "random.h"
 #include "util.h"
 
+COVERAGE_DEFINE(hmap_pathological);
+COVERAGE_DEFINE(hmap_expand);
+COVERAGE_DEFINE(hmap_shrink);
+COVERAGE_DEFINE(hmap_reserve);
+
 /* Initializes 'hmap' as an empty hash table. */
 void
 hmap_init(struct hmap *hmap)