Design by Contract for C.
Generate Design by Contract code and documentation from tags embedded in C comments. Runtime checking of Preconditions, Postconditions and Invariants. Create Doxygen documentation from contracts.
Commercial Use
Modify
Distribute
Sub-License
Private Use
Hold Liable
Include Copyright
Include License
These details are provided for information only. No information here is legal advice and should not be used as such.
30 Day SummaryJun 20 2016 — Jul 20 2016
|
12 Month SummaryJul 20 2015 — Jul 20 2016
|