proc_redirect report_disabled_edges

- Allow `report_disabled_edges` to be redirected to file
This commit is contained in:
Akash Levy 2024-07-31 01:49:29 -07:00 committed by GitHub
parent eed143710a
commit 72510355d6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -230,7 +230,7 @@ proc report_pin_constant { pin } {
################################################################
proc report_disabled_edges {} {
proc_redirect report_disabled_edges {
foreach edge [disabled_edges_sorted] {
if { [$edge role] == "wire" } {
set from_pin_name [get_full_name [[$edge from] pin]]