Static checker warnings when building Code Contracts

microsoft / CodeContracts

Source code for the CodeContracts tools for .NET

Other

882 stars 150 forks source link

Open yaakov-h opened 8 years ago

yaakov-h commented 8 years ago

Code Contracts itself has some static checker warnings, but these scroll by so fast when building.

It may be worth looking into these. Could be actual bugs, or could be the static checker just being pedantic.

SergeyTeplyakov commented 8 years ago

I'm sure that some of them could be false negatives, but we definitely should take a look at them...