tree 4d4e8adb89579198efc24af1d68da1940ce3254c
parent 1557ffffe605917815510cc28bac8d048f7e8b07
author Cindy Chen <chencindy@opentitan.org> 1677539563 -0800
committer Cindy Chen <cindy.chen0316@gmail.com> 1677609442 -0800

[dv/otp_ctrl] Update exclusion file regarding prim_sec_inv*

This PR updates the coverage config file to only cover toggle coverage
on prim_sec_inv* files. The main coverage issue is the massive condition
coverage inside these prim_sec_inv* files. It is very hard to hit all of
them.

This PR will fix issue #17362

Signed-off-by: Cindy Chen <chencindy@opentitan.org>