C

Contract++

Settings | Report Duplicate

0

I Use This!

Activity Not Available

Analyzed 29 days ago. based on code collected 3 months ago.

Project Summary

Contract Programming (or Design by Contract, DbC) for C++. All Eiffel features supported: Optional contract compilation; Customizable action on failure; Subcontracting; Old and result values; Block invariants, loop variants. http://dbcpp.sourceforge.net

Tags

c++ contract design eiffel invariant postcondition precondition variant

In a Nutshell, Contract++...

No recognizable code

Open Hub computes statistics on FOSS projects by examining source code and commit history in source code management systems. This project has code locations but that location contains no recognizable source code for Open Hub to analyze.

Quick Reference

Code Locations:

https://dbcpp.svn.sourceforge.ne...

Similar Projects:

Become the first manager for Contract++

This Project has No vulnerabilities Reported Against it

Did You Know...

...
55% of companies leverage OSS for production infrastructure
...
anyone with an Open Hub account can update a project's tags
...
use of OSS increased in 65% of companies in 2016
...
search using multiple tags to find exactly what you need

No recognizable code

Open Hub computes statistics on FOSS projects by examining source code and commit history in source code management systems. This project has code locations but that location contains no recognizable source code for Open Hub to analyze.

Community Rating

Be the first to rate this project

Click to add your rating

Review this Project!