3 ms·
Miri doesn't do proofs. It only checks the test cases that you run under it.
by Arnavion 4y ago
Miri doesn't do proofs. It only checks the test cases that you run under it.
- satvikpendem 4y agoInteresting, I wonder if there are any good proof verifiers for Rust.