From e39c422734219bb0601827cb7c1d081f7ac7817b Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Tue, 31 May 2022 17:47:07 +0200
Subject: chformal: Test -coverprecond and reuse the src attribute

---
 passes/cmds/chformal.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'passes/cmds')

diff --git a/passes/cmds/chformal.cc b/passes/cmds/chformal.cc
index 0131063b3..c4666f1f0 100644
--- a/passes/cmds/chformal.cc
+++ b/passes/cmds/chformal.cc
@@ -273,8 +273,8 @@ struct ChformalPass : public Pass {
 			if (mode =='p')
 			{
 				for (auto cell : constr_cells)
-					module->addCover(NEW_ID, cell->getPort(ID::EN), State::S1,
-						"$auto$coverprecond$" + cell->get_src_attribute());
+					module->addCover(NEW_ID_SUFFIX("coverprecond"),
+						cell->getPort(ID::EN), State::S1, cell->get_src_attribute());
 			}
 			else
 			if (mode == 'c')
-- 
cgit v1.2.3