3 ms·
So what this is really all about is this- do you mentally step through your code and consider what could go wrong at each step?
by waterlesscloud 17y ago
So what this is really all about is this- do you mentally step through your code and consider what could go wrong at each step?
- barrkel 17y agoI would rather think in invariants - knowing what must be true at particular points in the code, at the start of loop bodies, etc. Essentially, doing a proof in one's head.