Skip to content

Commit 615af4f

Browse files
robertszczepanskitmichalak
authored andcommitted
Enable VCS support for multiclock properties
1 parent 6aa7b78 commit 615af4f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

verification/cocotb/common.mk

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ ifeq ($(SIM), vcs)
6464
EXTRA_ARGS += +vcs+vcdpluson +vpdfile+dump.vpd +vcs+lic+wait
6565

6666
ifneq ($(COVERAGE_TYPE),)
67-
EXTRA_ARGS += -cm line+cond+fsm+tgl+branch
67+
EXTRA_ARGS += -cm line+cond+fsm+tgl+branch -lca
6868
endif
6969
endif
7070

0 commit comments

Comments
 (0)