1 puts "============================================================================"
2 puts "0030927: Modeling Algorithms - UnifySameDom looses the Closed flag for wires"
3 puts "============================================================================"
11 foreach w [explode result w] {
12 if {![regexp "Closed" [whatis $w]]} {
13 puts "Error: Wire $w is not closed"