hw/ip/rstmgr/dv/cov/rstmgr_cover.cfg - 3p/lowrisc/opentitan - Git at Google

 // Copyright lowRISC contributors.
 // Licensed under the Apache License, Version 2.0, see LICENSE for details.
 // SPDX-License-Identifier: Apache-2.0

 // Remove rstmgr_cnsty_chk module tree since it is a V2S.
 -moduletree rstmgr_cnsty_chk
	// Copyright lowRISC contributors.
	// Licensed under the Apache License, Version 2.0, see LICENSE for details.
	// SPDX-License-Identifier: Apache-2.0

	// Remove rstmgr_cnsty_chk module tree since it is a V2S.
	-moduletree rstmgr_cnsty_chk