Skip to content

Verilog: KNOWNBUG test for port connection that has typedef name#1411

Merged
kroening merged 1 commit intomainfrom
port_connection1
Nov 14, 2025
Merged

Verilog: KNOWNBUG test for port connection that has typedef name#1411
kroening merged 1 commit intomainfrom
port_connection1

Commits

Commits on Nov 14, 2025