|
|
|
|
|
|
by joshuamorton
1325 days ago
|
|
|
Grandparent is correct. If you've proven the behavior correct, you don't need to test. The proof is the test. This is usually only true in languages-that-are-proof-assistants (idris). In the cases above, they hadn't actually formally proven the behavior correct. |
|
|