search

SergeyTeplyakov / ReSharperContractExtensions

Set of extensions for R# that simplifies Design by Contract programming using Code Contracts.
MIT License
69 stars 10 forks source link

Create a fix that remove redundant precondition in overriden method #45

Open SergeyTeplyakov opened 10 years ago

SergeyTeplyakov commented 10 years ago

Additional action could be: to add precondition to the base class's method.