?miri command

Open kangalio opened this issue 4 years ago • 1 comments

This command would work similarly to ?eval (or maybe ?play?), but it instructs the Rust Playground to run the code through Miri instead of compiling and executing normally.

The idea came up here: https://discord.com/channels/273534239310479360/274215136414400513/797898675510181901

Jan 10 '21 18:01 kangalio

+1 to this. As a resident of the #black-magic channel on the Rust Community Discord, having the ability to quickly check code that seems to probably be UB or not UB would be rather helpful.

Jan 27 '21 18:01 chorman0773