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: regression
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | acceleration |
|
d | rwxr-xr-x | 8,192 | ansi-c |
|
d | rwxr-xr-x | 4,096 | array-refinement-with-incr |
|
d | rwxr-xr-x | 151 | book-examples |
|
d | rwxr-xr-x | 78 | catch-framework |
|
d | rwxr-xr-x | 28,672 | cbmc |
|
d | rwxr-xr-x | 4,096 | cbmc-concurrency |
|
d | rwxr-xr-x | 4,096 | cbmc-cover |
|
d | rwxr-xr-x | 8,192 | cbmc-cpp |
|
d | rwxr-xr-x | 4,096 | cbmc-incr |
|
d | rwxr-xr-x | 4,096 | cbmc-incr-oneloop |
|
d | rwxr-xr-x | 4,096 | cbmc-incr-smt2 |
|
d | rwxr-xr-x | 16,384 | cbmc-library |
|
d | rwxr-xr-x | 118 | cbmc-output-file |
|
d | rwxr-xr-x | 4,096 | cbmc-primitives |
|
d | rwxr-xr-x | 4,096 | cbmc-sequentialization |
|
d | rwxr-xr-x | 4,096 | cbmc-shadow-memory |
|
d | rwxr-xr-x | 12,288 | cbmc-with-incr |
|
d | rwxr-xr-x | 8,192 | contracts |
|
d | rwxr-xr-x | 16,384 | contracts-dfcc |
|
d | rwxr-xr-x | 4,096 | cpp |
|
d | rwxr-xr-x | 4,096 | cpp-linter |
|
d | rwxr-xr-x | 4,096 | cprover |
|
d | rwxr-xr-x | 4,096 | crangler |
|
d | rwxr-xr-x | 83 | extract_type_header |
|
d | rwxr-xr-x | 16,384 | goto-analyzer |
|
d | rwxr-xr-x | 4,096 | goto-analyzer-simplify |
|
d | rwxr-xr-x | 54 | goto-analyzer-taint |
|
d | rwxr-xr-x | 4,096 | goto-bmc |
|
d | rwxr-xr-x | 4,096 | goto-cc-cbmc |
|
d | rwxr-xr-x | 4,096 | goto-cc-file-local |
|
d | rwxr-xr-x | 4,096 | goto-cc-goto-analyzer |
|
d | rwxr-xr-x | 121 | goto-cc-multi-file |
|
d | rwxr-xr-x | 101 | goto-cc-regression-gh-issue-5380 |
|
d | rwxr-xr-x | 128 | goto-cl |
|
d | rwxr-xr-x | 80 | goto-diff |
|
d | rwxr-xr-x | 4,096 | goto-gcc |
|
d | rwxr-xr-x | 4,096 | goto-harness |
|
d | rwxr-xr-x | 137 | goto-harness-multi-file-project |
|
d | rwxr-xr-x | 103 | goto-inspect |
|
d | rwxr-xr-x | 12,288 | goto-instrument |
|
d | rwxr-xr-x | 89 | goto-instrument-chc |
|
d | rwxr-xr-x | 4,096 | goto-instrument-json |
|
d | rwxr-xr-x | 4,096 | goto-instrument-typedef |
|
d | rwxr-xr-x | 167,936 | goto-instrument-wmm-core |
|
d | rwxr-xr-x | 155 | goto-interpreter |
|
d | rwxr-xr-x | 72 | goto-ld |
|
d | rwxr-xr-x | 4,096 | goto-synthesizer |
|
d | rwxr-xr-x | 4,096 | invariants |
|
d | rwxr-xr-x | 141 | k-induction |
|
d | rwxr-xr-x | 101 | libcprover-cpp |
|
d | rwxr-xr-x | 150 | linking-goto-binaries |
|
d | rwxr-xr-x | 4,096 | memory-analyzer |
|
d | rwxr-xr-x | 4,096 | smt2_solver |
|
d | rwxr-xr-x | 4,096 | smt2_strings |
|
d | rwxr-xr-x | 4,096 | snapshot-harness |
|
d | rwxr-xr-x | 123 | solver-hardness |
|
d | rwxr-xr-x | 4,096 | statement-list |
|
d | rwxr-xr-x | 4,096 | strings |
|
d | rwxr-xr-x | 144 | symtab2gb |
|
d | rwxr-xr-x | 129 | symtab2gb-cbmc |
|
d | rwxr-xr-x | 4,096 | systemc |
|
d | rwxr-xr-x | 4,096 | test-script |
|
d | rwxr-xr-x | 92 | validate-trace-xml-schema |
 |
- | rw-r--r-- | 10 | .gitignore |
|
- | rw-r--r-- | 3,484 | CMakeLists.txt |
|
- | rw-r--r-- | 2,945 | Makefile |
|
- | rw-r--r-- | 892 | README.md |
|
- | rwxr-xr-x | 14,724 | test.pl |