projects
/
mono.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a0d20eb
)
cccheck.1: fix a typo
author
Abdur Rehman
<arehmanq199@gmail.com>
Wed, 26 Oct 2016 20:00:23 +0000
(
01:00
+0500)
committer
GitHub
<noreply@github.com>
Wed, 26 Oct 2016 20:00:23 +0000
(
01:00
+0500)
man/cccheck.1
patch
|
blob
|
history
diff --git
a/man/cccheck.1
b/man/cccheck.1
index aead19a58d084fbb76a15eebba1fef9a6367a76a..3614f4ae4ec8d1173f8940122cd2984e7e3db6c2 100644
(file)
--- 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 inconsistenc
i
es
between code and specification. This includes non-null, integer analyses.
.PP
The assembly must have been built with the symbol CONTRACTS_FULL defined,