Skip to content

Conversation

@kroening
Copy link
Collaborator

We use bool to encode 1-bit values; when assigning to variables or nets of this type, use truncation, not type casting.

We use bool to encode 1-bit values; when assigning to variables or nets of
this type, use truncation, not type casting.
@kroening kroening marked this pull request as ready for review December 23, 2025 17:02
@tautschnig tautschnig merged commit 92943f8 into main Dec 24, 2025
11 checks passed
@tautschnig tautschnig deleted the wire_with_assignment1 branch December 24, 2025 00:28
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.

3 participants