-
Notifications
You must be signed in to change notification settings - Fork 391
Closed
Labels
A-testsArea: affects our test suite or CIArea: affects our test suite or CIC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement
Description
It would be nice to be able to test miri against known-bad MIR code -- like, code that uses StorageLive
/StorageDead
incorrectly, just to make sure that miri catches such errors. Some more examples will come come up with the stuff about unsafe code guidelines that I'm working on.
It seems that we need something like a MIR parser for this, though?
Metadata
Metadata
Assignees
Labels
A-testsArea: affects our test suite or CIArea: affects our test suite or CIC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement