Timeline for Is design by contract useful without unit testing?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 1, 2021 at 17:04 | comment | added | edalorzo | Oh, I can see, a static analyzer takes advantage of the contract formal definitions to detect where in the code the contract is broken, without actually needing any tests. That’s really good, provided that there’s such tool for my language. | |
| Oct 1, 2021 at 11:03 | history | answered | Alexander Kogtenkov | CC BY-SA 4.0 |