742 packages returned for Tags:"Code-Contract"

Microsoft.CodeCoverage package brings infra for collecting code coverage from vstest.console.exe and "dotnet test".

A simple code-contract class for validating method argument preconditions.

An open source code coverage tool (branch and sequence point) for all .NET Frameworks 2 and above (including Silverlight). Also capable of handling 32 and 64 bit processes. Use ReportGenerator for best viewing results (also available via Nuget).

ReportGenerator converts coverage reports generated by OpenCover, dotCover, Visual Studio, NCover, Cobertura, JaCoCo, Clover, gcov or lcov or into human readable reports in various formats. The reports do not only show the coverage quota, but also include the source code and visualize which line has... More information

Design by contract programming support

Simple Design by contract library supporting PreConditions and PostConditions

Converts OpenCover reports to Cobertura reports.

Neo

ReportGenerator converts coverage reports generated by OpenCover, dotCover, Visual Studio, NCover, Cobertura, JaCoCo, Clover, gcov or lcov or into human readable reports in various formats. The reports do not only show the coverage quota, but also include the source code and visualize which line has... More information

Core library for Windows API Code Pack

Shell library for Windows API Code Pack

We moved here: http://entityframework-extensions.net/ NOTE: The current package is *UNSUPPORTED* since 2014

ReportGenerator converts coverage reports generated by OpenCover, dotCover, Visual Studio, NCover, Cobertura, JaCoCo, Clover, gcov or lcov or into human readable reports in various formats. The reports do not only show the coverage quota, but also include the source code and visualize which line has... More information

Program for sending coverage reports to coveralls.io

Common library for the Light, simple and fast convention-based code-first POCO, OrmLite. Support for Creating and Dropping Table Schemas from POCOs, Complex Property types transparently stored in schemaless text blobs. OrmLite is a suite extension methods on ADO.NET's underlying... More information

QRCoder is a simple library, written in C#.NET, which enables you to create QR Codes. It's licensed under the MIT-license.

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

A ready to use FakeDbSet for faking Entity Framework code.

A common library that contains interfaces,enums,helper methods used across other DotNetHelper Libraries

Library representing the desing by contract programing such as precondition, postconditions, and object invariants