Skip to content

Conversation

kroening
Copy link
Collaborator

This adds a complete constructor for verilog_preprocessort::filet.

This adds a complete constructor for verilog_preprocessort::filet.
Copy link
Collaborator

@tautschnig tautschnig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not merging to leave it up to you whether you merge #70 or this one first (and then resolve the conflict in the other).

@kroening kroening merged commit b01409e into main Sep 23, 2023
@kroening kroening deleted the verilog_preprocessort-filet branch September 23, 2023 23:44
Romy15200 pushed a commit to Romy15200/nws that referenced this pull request Aug 19, 2025
Verilog preprocessor: add proper constructor for filet
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants