You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We generate Wires for every node in the Verilog program, and in theory, each should get unioned with something. If a Wire doesn't get unioned with anything and then is deleted, we end up with an empty eclass. We should be able to detect when we haven't unioned a Wire with anything by keeping a map from created Wires to a boolean or count of unions.
The text was updated successfully, but these errors were encountered:
We generate
Wire
s for every node in the Verilog program, and in theory, each should get unioned with something. If a Wire doesn't get unioned with anything and then is deleted, we end up with an empty eclass. We should be able to detect when we haven't unioned a Wire with anything by keeping a map from createdWire
s to a boolean or count of unions.The text was updated successfully, but these errors were encountered: