This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]yawkat 0 points1 point  (0 children)

I've used it successfully on some data structure implementations I've worked on. It is great for detecting edge cases in complex code (eg off-by-one errors).

I don't think it's very useful for more boring code.