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 |
