What tooling do you use to do Design by Contract?

Question

I used to use Microsoft CodeContracts for three weeks and now half of my code is just contracts. I have dozens of unproved places, I cannot use runtime-check because IL rewrite prevents coverage tool to show something and compile time is less then acceptable.

I do not like this. And seems now is a good time to ask a help. What tooling do use use for your regualr developments?

Answer 1

Spec# - I have not tried it myself, but I hear it is pretty awesome. There is a good DotNetRocks podcast on it that is a good listen on the drive to work.