package info (click to toggle)
kissat 4.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,068 kB
  • sloc: ansic: 39,201; sh: 1,226; makefile: 91

Folder: parse

d .. (parent)
- - rw-r--r-- 16 anainsteadoflit
- - rw-r--r-- 125 comments
- - rw-r--r-- 18 crnl
- - rw-r--r-- 37 crnlfile
- - rw-r--r-- 130 embeddedcoverage
- - rw-r--r-- 25 embeddedcrmissingnl
- - rw-r--r-- 22 embeddednegative
- - rw-r--r-- 20 embeddedoptiocrnl
- - rw-r--r-- 88 embeddedoptionametoolong
- - rw-r--r-- 19 embeddedoptioneqmissing
- - rw-r--r-- 0 emptyfile
- - rw-r--r-- 48 emptyheadercrnl
- - rw-r--r-- 97 emptyheaderline
- - rw-r--r-- 1 emptyline
- - rw-r--r-- 15 eofafterlit
- - rw-r--r-- 18 eofafterlitcomment
- - rw-r--r-- 15 eofafterzero
- - rw-r--r-- 20 eofbeforeheader
- - rw-r--r-- 15 eofbodycomment
- - rw-r--r-- 31 eofheadercomment
- - rw-r--r-- 9 eofinclauses
- - rw-r--r-- 30 eofincommmentafterliteral
- - rw-r--r-- 2 eofinheaderafterc
- - rw-r--r-- 7 eofinmaxvar
- - rw-r--r-- 34 headerspaces
- - rw-r--r-- 21 invalidembeddedoption
- - rw-r--r-- 2 nlafterp
- - rw-r--r-- 13 nlaftersign
- - rw-r--r-- 8 nlaftervars
- - rw-r--r-- 11 nocafterpspace
- - rw-r--r-- 2 nocnorp
- - rw-r--r-- 16 nodigitafterpcnfspace
- - rw-r--r-- 22 nodigitaftersign
- - rw-r--r-- 16 nodigitaftervarsnspace
- - rw-r--r-- 12 nofaftern
- - rw-r--r-- 4 nonafterc
- - rw-r--r-- 15 nonlaftercrafterheaderline
- - rw-r--r-- 13 nonlaftercrafterheadliner
- - rw-r--r-- 13 nonlaftercrafterlit
- - rw-r--r-- 11 nonlaftercrinbody
- - rw-r--r-- 14 nonlafterheaderline
- - rw-r--r-- 13 nonlafterinvalidembeddedoption
- - rw-r--r-- 6 nospaceafterf
- - rw-r--r-- 3 nospaceafterp
- - rw-r--r-- 21 nospaceaftervars
- - rw-r--r-- 12 notrailingzero
- - rw-r--r-- 23 nowsafterlit
- - rw-r--r-- 10 oneclausemissing
- - rw-r--r-- 30 onlycomments
- - rw-r--r-- 1 onlycr
- - rw-r--r-- 8 onlycraftervars
- - rw-r--r-- 18 othercharafterheaderline
- - rw-r--r-- 15 signedunit
- - rw-r--r-- 11 signeof
- - rw-r--r-- 27 tabs
- - rw-r--r-- 33 toolargeclauses1
- - rw-r--r-- 33 toolargeclauses2
- - rw-r--r-- 19 toolargevars1
- - rw-r--r-- 19 toolargevars2
- - rw-r--r-- 14 toomanyclauses
- - rw-r--r-- 10 twoclausesmissing
- - rw-r--r-- 16 varidxexceeded
- - rw-r--r-- 28 varidxtoolarge1
- - rw-r--r-- 28 varidxtoolarge2
- - rw-r--r-- 13 zeroaftersign