From 3cd459912a23b03640e3e1621dd454874ed11381 Mon Sep 17 00:00:00 2001 From: Maciej Dudek Date: Tue, 14 Sep 2021 12:51:15 +0200 Subject: Adding MacroCell placement Signed-off-by: Maciej Dudek --- common/exclusive_state_groups.impl.h | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'common') diff --git a/common/exclusive_state_groups.impl.h b/common/exclusive_state_groups.impl.h index 4a5b1228..f3ddb5fd 100644 --- a/common/exclusive_state_groups.impl.h +++ b/common/exclusive_state_groups.impl.h @@ -74,11 +74,10 @@ void ExclusiveStateGroup::explain_requires(con log_info("Placing cell %s at bel %s does not violate %s.%s\n", cell.c_str(ctx), ctx->nameOfBel(bel), object.c_str(ctx), definition.prefix.c_str(ctx)); } else { - log_info("%d\n", state); - log_info("Placing cell %s at bel %s does violates %s.%s, because current state is %s, constraint requires one " + log_info("Placing cell %s at bel %s does violate %s.%s, because current state is %s, constraint requires one " "of:\n", - cell.c_str(ctx), ctx->nameOfBel(bel), object.c_str(ctx), definition.prefix.c_str(ctx), "-1"); -// definition.states.at(state).c_str(ctx)); + cell.c_str(ctx), ctx->nameOfBel(bel), object.c_str(ctx), definition.prefix.c_str(ctx), + state != -1 ? definition.states.at(state).c_str(ctx) : "unset"); for (const auto required_state : state_range) { log_info(" - %s\n", definition.states.at(required_state).c_str(ctx)); -- cgit v1.2.3