Skip to content

Conversation

@kripken
Copy link
Member

@kripken kripken commented Nov 7, 2025

If we import another module in a fuzz testcase, legalization could break
the contract between them.

@kripken kripken requested a review from tlively November 7, 2025 16:16
wq
wq
Merge remote-tracking branch 'origin/main' into fuzz.imp.leg
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