package info
(click to toggle)
cbmc 6.6.0-4
- links: PTS
- area: main
- in suites: forky, sid, trixie
- size: 153,852 kB
- sloc: cpp: 386,459; ansic: 114,466; java: 28,405; python: 6,003; yacc: 4,552; makefile: 4,041; lex: 2,487; xml: 2,388; sh: 2,050; perl: 557; pascal: 184; javascript: 163; ada: 36
Folder: cpp-linter
 |
.. (parent) | |||
|
d | rwxr-xr-x | 83 | assert |
|
d | rwxr-xr-x | 83 | catch-cast |
|
d | rwxr-xr-x | 83 | class-decl-space |
|
d | rwxr-xr-x | 83 | do-while1 |
|
d | rwxr-xr-x | 83 | do-while2 |
|
d | rwxr-xr-x | 83 | function-comment-header1 |
|
d | rwxr-xr-x | 83 | function-comment-header2 |
|
d | rwxr-xr-x | 83 | function-comment-header3 |
|
d | rwxr-xr-x | 83 | function-comment-header4 |
|
d | rwxr-xr-x | 83 | function-comment-header5 |
|
d | rwxr-xr-x | 83 | function-comment-header6 |
|
d | rwxr-xr-x | 83 | function-comment-header7 |
|
d | rwxr-xr-x | 83 | if-else1 |
|
d | rwxr-xr-x | 83 | if-else2 |
|
d | rwxr-xr-x | 83 | if-else3 |
|
d | rwxr-xr-x | 83 | if-else4 |
|
d | rwxr-xr-x | 83 | if-else5 |
|
d | rwxr-xr-x | 83 | if-else6 |
|
d | rwxr-xr-x | 83 | includes |
|
d | rwxr-xr-x | 83 | multi-line-comment |
|
d | rwxr-xr-x | 83 | multi-line-function-call1 |
|
d | rwxr-xr-x | 83 | multi-line-function-call2 |
|
d | rwxr-xr-x | 83 | multi-line-function-call3 |
|
d | rwxr-xr-x | 83 | multi-line-string1 |
|
d | rwxr-xr-x | 83 | multi-line-string2 |
|
d | rwxr-xr-x | 83 | namespace |
|
d | rwxr-xr-x | 83 | operator-spacing1 |
|
d | rwxr-xr-x | 83 | operator-spacing2 |
|
d | rwxr-xr-x | 83 | operator-spacing3 |
|
d | rwxr-xr-x | 83 | override-final |
|
d | rwxr-xr-x | 83 | pointer-type1 |
|
d | rwxr-xr-x | 83 | prefix-increment |
|
d | rwxr-xr-x | 83 | struct-inline-decl |
|
d | rwxr-xr-x | 83 | template-types |
|
d | rwxr-xr-x | 83 | throw |
 |
- | rw-r--r-- | 72 | CMakeLists.txt |
|
- | rw-r--r-- | 307 | Makefile |