AFAIK, code contracts in .NET still have all the issues they had several years ago. The absolute worst one being that you need to install something for them to

AFAIK, code contracts in .NET still have all the issues they had several years ago. The absolute worst one being that you need to install something for them to actually work. This means different computers will have different code behavior.