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)