Synergy.Contracts (nuget): Design by contract programming support
Keywords: DbC|Design-By-Contract|Precondition|Postcondition|Contract|Code-Contract|Resharper|Annotations|R#|jetbrains.annotations|design|contract|programming|SLARCH