-
-
Notifications
You must be signed in to change notification settings - Fork 9
Open
Description
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
Metadata
Metadata
Assignees
Labels
No labels