Open
Description
Do we solely rely on tests that live under rust-lang/rust ? Are there other validation mechanisms to consider in short and long term? (e.g. formal methods)
Metadata
Metadata
Assignees
Type
Projects
Status
Todo
{{ message }}
No one assigned
No type
No milestone
None yet
No branches or pull requests