X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=man%2Fcccheck.1;h=3614f4ae4ec8d1173f8940122cd2984e7e3db6c2;hb=a0c222056c85e329ceead309fb9e5ba366e20ee6;hp=aead19a58d084fbb76a15eebba1fef9a6367a76a;hpb=a0d20ebbf712fe2b196352c1210a7b44676543e7;p=mono.git diff --git a/man/cccheck.1 b/man/cccheck.1 index aead19a58d0..3614f4ae4ec 100644 --- a/man/cccheck.1 +++ b/man/cccheck.1 @@ -11,7 +11,7 @@ cccheck \- Perform static code contracts verification for CLR assemblies. .PP .B cccheck --assembly= [options] .SH DESCRIPTION -Perform static code contracts verification to find bugs and inconsistences +Perform static code contracts verification to find bugs and inconsistencies between code and specification. This includes non-null, integer analyses. .PP The assembly must have been built with the symbol CONTRACTS_FULL defined,