|
|
|
|
|
|
by iamcurious
3957 days ago
|
|
|
>you have a test plan (and comprehensive test suite) that guarantees correctness and performance. I value the work you do, but please don't imply that tests can guarantee correctness. Tests can never prove the absence of bugs! To guarantee correctness we need to treat programs as mathematical objects. |
|
|