diff options
| author | Abdur Rehman <arehmanq199@gmail.com> | 2016-10-26 23:00:23 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-26 23:00:23 +0300 |
| commit | a0c222056c85e329ceead309fb9e5ba366e20ee6 (patch) | |
| tree | 2e443ce86f1ad441f96c12c1da683ad95f6e64fa /man | |
| parent | a0d20ebbf712fe2b196352c1210a7b44676543e7 (diff) | |
cccheck.1: fix a typo
Diffstat (limited to 'man')
| -rw-r--r-- | man/cccheck.1 | 2 |
1 files changed, 1 insertions, 1 deletions
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=<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, |