Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
julienzaegel
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
julienzaegel
10y ago
(I'm the author of the aforementioned article) Yes it was a throwaway :-) But I mean "untested" as not tested at all, by any means; code that has went through automated testing (unit tests and the like) has been tested quite
2.
▲
by
julienzaegel
10y ago
(I'm the author of the aforementioned article) We tried using static verification with CodeContracts at the beginning of the project (2011). But this triggered us to litter the code with attributes dedicated to static verification only