Skip to content

Conversation

kroening
Copy link
Collaborator

This removes the dependency on the global object in util/config.h by passing the include paths as part of the optionst object.

This removes the dependency on the global object in util/config.h by passing
the include paths as part of the optionst object.
@kroening kroening marked this pull request as ready for review February 18, 2025 10:16
@tautschnig tautschnig merged commit b5a624c into main Feb 18, 2025
9 checks passed
@tautschnig tautschnig deleted the verilog-include-paths branch February 18, 2025 16:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants