Skip to content

Conversation

kroening
Copy link
Collaborator

@kroening kroening commented May 7, 2025

Assignments during Verilog synthesis may be no-op (e.g., out-of-bound). This fix prevents generating an untyped auxiliary variable assignment in this case.

Fixes #1050.

Assignments during Verilog synthesis may be no-op (e.g., out-of-bound).
This fix prevents generating an untyped auxiliary variable assignment in
this case.

Fixes #1050.
@kroening kroening marked this pull request as ready for review May 7, 2025 19:23
@tautschnig tautschnig merged commit a2468e7 into main May 8, 2025
9 checks passed
@tautschnig tautschnig deleted the rf1-fix branch May 8, 2025 11:57
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.

invariant violation: unimplemented in boolbv_width.cpp
2 participants