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: cbmc-primitives
| .. (parent) | ||||
| d | rwxr-xr-x | 132 | alternating_quantifiers_6231 | |
| d | rwxr-xr-x | 73 | dynamic-object-01 | |
| d | rwxr-xr-x | 73 | dynamic-object-02 | |
| d | rwxr-xr-x | 86 | exists_assume_6231 | |
| d | rwxr-xr-x | 4,096 | exists_memory_checks | |
| d | rwxr-xr-x | 47 | forall_6231_1 | |
| d | rwxr-xr-x | 47 | forall_6231_2 | |
| d | rwxr-xr-x | 130 | forall_6231_3 | |
| d | rwxr-xr-x | 47 | forall_6231_4 | |
| d | rwxr-xr-x | 47 | implication_statement_checks_1 | |
| d | rwxr-xr-x | 73 | object-size-01 | |
| d | rwxr-xr-x | 73 | pointer-offset-01 | |
| d | rwxr-xr-x | 47 | r_w_ok_bug | |
| d | rwxr-xr-x | 73 | r_w_ok_inconsistent_dead | |
| d | rwxr-xr-x | 73 | r_w_ok_inconsistent_deallocated | |
| d | rwxr-xr-x | 73 | r_w_ok_inconsistent_integer | |
| d | rwxr-xr-x | 73 | r_w_ok_inconsistent_invalid | |
| d | rwxr-xr-x | 73 | r_w_ok_inconsistent_nondet | |
| d | rwxr-xr-x | 73 | r_w_ok_null | |
| d | rwxr-xr-x | 73 | r_w_ok_valid | |
| d | rwxr-xr-x | 73 | r_w_ok_valid_negated | |
| d | rwxr-xr-x | 73 | same-object-01 | |
| d | rwxr-xr-x | 73 | same-object-02 | |
| d | rwxr-xr-x | 73 | same-object-03 | |
| d | rwxr-xr-x | 73 | same-object-04 | |
| - | rw-r--r-- | 537 | CMakeLists.txt | |
| - | rw-r--r-- | 376 | Makefile |
