Skip to content

Conversation

rwy7
Copy link
Contributor

@rwy7 rwy7 commented Oct 9, 2025

Add checking to ensure that the domain information on instances lines up with what is recorded on the referenced module.

@rwy7 rwy7 requested a review from dtzSiFive October 9, 2025 21:20
@rwy7 rwy7 force-pushed the fix-domain-verifiers branch from 2135596 to 88d4508 Compare October 9, 2025 21:21
Copy link
Contributor

@dtzSiFive dtzSiFive left a comment

Choose a reason for hiding this comment

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

Verifier and test changes LGTM.

The builder changes -- they seem part of a related/necessary (but not in PR scope per title?) change: adding Domain support for InstanceChoiceOp's.

Please either mention this change in the title/commit or split out 👍.

(and consider positive test for instance choice op domain support?)

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