replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

manual: end a sentence

This commit is contained in:
Daniel Kroening 2019-03-23 14:43:01 +00:00
parent f10ab3089b
commit e6f133523e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/cprover-manual/properties.md
View File

@ -266,7 +266,7 @@ int do_something_with_complex(struct Complex *complex)
```
A note on limitations: Because only static information is used for code
generation, arrays of unknown size and pointers will not be affected by this;
generation, arrays of unknown size and pointers will not be affected by this.
Which means that for code like this:
```C