From 5a8ff840cbfee060732af7d2a53a36f11a735c50 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Sun, 3 Apr 2016 12:53:00 +0200
Subject: [PATCH] Add export of PSL coverage report

---
 test/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/Makefile b/test/Makefile
index 360f695..196d375 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -68,7 +68,7 @@ wishbonet: RandomPkg.o CoveragePkg.o AssertP.o SimP.o QueueP.o DictP.o UtilsP.o
 
 .PHONY: wishbone
 wishbone: wishbonet
-	ghdl -r --std=$(VHD_STD) $@t --wave=$@t.ghw
+	ghdl -r --std=$(VHD_STD) $@t --wave=$@t.ghw --psl-report=$@_psl_coverage.json
 
 
 # Default rule for running simulation