search

ivandardi / RustbotPython

A Discord bot for the Community Rust Language server, written in Python.
MIT License
16 stars 9 forks source link

?miri command #28

Open kangalio opened 3 years ago

kangalio commented 3 years ago

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

chorman0773 commented 3 years ago

+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.