| ▲ | nottorp 3 days ago | |
Hmm. I've never been asked to do formal proofs for my code. Where does he work? | ||
| ▲ | simonw 3 days ago | parent [-] | |
This isn't about formal proofs, it's about manual testing and simple automated tests. | ||
| ▲ | nottorp 3 days ago | |
Hmm. I've never been asked to do formal proofs for my code. Where does he work? | ||
| ▲ | simonw 3 days ago | parent [-] | |
This isn't about formal proofs, it's about manual testing and simple automated tests. | ||