Skip to content

extract verilog_set_genvarst::build_map() - #2063

Open
kroening wants to merge 1 commit into
mainfrom
set_genvar-build_map
Open

extract verilog_set_genvarst::build_map()#2063
kroening wants to merge 1 commit into
mainfrom
set_genvar-build_map

Conversation

@kroening

@kroening kroening commented Aug 5, 2026

Copy link
Copy Markdown
Collaborator

This extracts the code that turns the data in verilog_set_genvarst into a map into a method.

This extracts the code that turns the data in verilog_set_genvarst into a
map into a method.
@kroening
kroening marked this pull request as ready for review August 5, 2026 00:17
@yvizel

yvizel commented Aug 5, 2026

Copy link
Copy Markdown

Earlier code had an exception thrown for the number of operands, now it is a precondition.
What happens if the precondition doesn't hold?

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