1 files changed, 5 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c
index 204a920..c5937dc 100644
--- a/src/main.c
+++ b/src/main.c
@@ -45,6 +45,11 @@ static void usage()
  */
 int main(int argc, char *argv[])
 {
+#ifdef COVERAGE
+	assert(!covsrv_init());
+	atexit(covsrv_destroy);
+#endif
+
 	int opt;
 	while ((opt = getopt(argc, argv, "hI:")) != -1) {
 		switch (opt) {