// 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
begin tgl
  +module rstmgr_cnsty_chk
end

Add port toggle coverage for rstmgr_cnsty_chk
[dv/rstmgr] Add port toggle coverage for rstmgr_cnsty_chk

Signed-off-by: Guillermo Maturana <085716c7110d3f31793f7d964c2e5fd26da1c550@google.com>
