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 |