| Reporter |
Magnus Österlund (magol)
|
|---|---|
| Created | Mar 9, 2011 2:02:16 PM |
| Updated | Jan 25, 2012 9:12:25 PM |
| Resolved | Jan 25, 2012 6:40:18 PM |
| Priority | Normal |
| Type | Feature |
| Fix versions | 6.1 |
| State | Fixed |
| Assignee | Ilya Ryzhenkov (orangy) |
| Subsystem | Code Analysis |
| Affected versions | No Affected versions |
| Fixed in build | 6.5.1.3431 |
A method marked with [ContractInvariantMethod] is called by Microsoft CodeContract and therefore not called in the code. Resharper recommend that the method should be removed, which it shold not do.
Resharper perhaps also should check that the method name is the same throughout the project.
Resharper perhaps also should check that the method name is the same throughout the project.