From 6bcd51f10f9b35cc0e66b1255fb3fcc737b55904 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <Patrick.Pelissier@gmail.com>
Date: Tue, 11 Apr 2023 21:09:40 +0200
Subject: [PATCH] Complete coverage synthesis with branch coverage information

---
 tests/Makefile | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/tests/Makefile b/tests/Makefile
index 4e14b2ee..e15e6736 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -209,16 +209,21 @@ SYNTHESIS_DATA=	M-ALGO test-malgo.c.c test-malgo.synt			\
 		M-WORKER ../m-worker.h test-mworker.synt		
 
 synthesis.synt:
-	@printf "+-------------------------------+-------------------------------+\n"
+	@printf "+------------------+------------------+------------------+------------------+\n"
+	@printf "|    Functions     | Instruction Cov. |   Decision Cov.  |     MCDC Cov.    |\n"
+	@printf "+------------------+------------------+------------------+------------------+\n"
 	@for i in $(SYNTHESIS_DATA) ; do 							\
 	if test "$$j" = "" ; then j=$$i ; continue ; fi;			\
 	if test "$$k" = "" ; then k=$$i ; continue ; fi;			\
-	printf "|\t%16.16s\t|\t%16.16s\t|\n"	"$$j"	"`grep -v Creating $$i|grep $$k -F -A1 |tail -1|cut -f2 -d':'`"; 	\
+	printf "| %16.16s | %16.16s | %16.16s | %16.16s |\n"	"$$j"	\
+	"`grep -v Creating $$i|grep $$k -F -A1 |tail -1|cut -f2 -d':'`" 	\
+	"`grep -v Creating $$i|grep $$k -F -A2 |tail -1|cut -f2 -d':'`" 	\
+	"`grep -v Creating $$i|grep $$k -F -A3 |tail -1|cut -f2 -d':'`"; 	\
 	j="";														\
 	k="";														\
 	done                                                        > synthesis.synt
 	@cat synthesis.synt
-	@printf "+-------------------------------+-------------------------------+\n"
+	@printf "+------------------+------------------+------------------+------------------+\n"
 
 
 #####################################################################################################