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

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