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

manual: remove unnecessary indentation

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

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

@ -243,10 +243,10 @@ int do_something_with_complex(struct Complex *complex);
And the command line
```
goto-instrument in.goto out.goto
--generate-function-body do_something_with_complex
--generate-function-body-options
'havoc,params:.*,globals:AGlobalComplex'
goto-instrument in.goto out.goto
--generate-function-body do_something_with_complex
--generate-function-body-options
'havoc,params:.*,globals:AGlobalComplex'
```
The goto code equivalent of the following will be generated: