From b2ec3f68938051e5950338e4d0fb62c3641acba2 Mon Sep 17 00:00:00 2001
From: Mike Thompson <mike@openhwgroup.org>
Date: Thu, 13 Jul 2023 15:48:57 +0000
Subject: [PATCH] Disable display of assert/cover summary

---
 mk/uvmt/vcs.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mk/uvmt/vcs.mk b/mk/uvmt/vcs.mk
index c10200b5d..617d30389 100644
--- a/mk/uvmt/vcs.mk
+++ b/mk/uvmt/vcs.mk
@@ -162,7 +162,7 @@ VCS_RUN_BASE_FLAGS   ?= $(VCS_GUI) \
                         -sv_lib $(abspath $(SVLIB_LIB))
 
 # Simulate using latest elab
-VCS_RUN_FLAGS        ?=
+VCS_RUN_FLAGS         = -assert nopostproc
 VCS_RUN_FLAGS        += $(VCS_RUN_BASE_FLAGS)
 VCS_RUN_FLAGS        += $(VCS_RUN_WAVES_FLAGS)
 VCS_RUN_FLAGS        += $(VCS_RUN_COV_FLAGS)