package info (click to toggle)
linux 4.19.20-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 954,852 kB
  • sloc: ansic: 16,749,828; asm: 271,286; makefile: 38,257; sh: 32,808; perl: 27,671; python: 21,022; cpp: 5,063; yacc: 4,648; lex: 2,585; awk: 1,385; ruby: 25; sed: 5

Folder: srcu-cbmc

d .. (parent)
d d rwxr-xr-x 41 empty_includes
d d rwxr-xr-x 18 include
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 61 tests
- - rw-r--r-- 7 .gitignore
- - rw-r--r-- 462 Makefile
- - rwxr-xr-x 8,964 modify_srcu.awk