Skip to content

Conversation

kroening
Copy link
Member

@kroening kroening commented Aug 6, 2024

Since Verilog 2005 recursive module instantiation is explicitly allowed. This adds a KNOWNBUG test for this.

Since Verilog 2005 recursive module instantiation is explicitly allowed.
This adds a KNOWNBUG test for this.
@kroening kroening marked this pull request as ready for review August 6, 2024 21:33
@tautschnig tautschnig merged commit 8709bb5 into main Aug 7, 2024
8 checks passed
@tautschnig tautschnig deleted the decoder1 branch August 7, 2024 08:02
Romy15200 pushed a commit to Romy15200/nws that referenced this pull request Aug 19, 2025
Verilog: KNOWNBUG test for recursive module instantiation
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants