3 packages returned for Tags:"Postcondition"

Package type

All types

Dependency

.NET tool

Template

Sort by

Relevance

Downloads

Recently updated

Options

Include prerelease

PostSharp.Patterns.Common The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: PostSharp SharpCrafters

736,972 total downloads
last updated 2/16/2021
Latest version: 6.9.1-preview
postsharp code contracts precondition postcondition preconditions postconditions

Code Contracts and common functionalities used by other PostSharp pattern libraries. An official PostSharp pattern library.

Synergy.Contracts by: marcin.celej

Design by contract programming support

Rocket.DbC by: glufsaren

Simple Design by contract library supporting PreConditions and PostConditions