?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Some consistency changes to library & headers flags.
[splint-patched.git] / test / rc3.splintrc
blob7d937a9bf528a694b66bdf75636a7de787f4365f
1 -externalnamelen                23
2 internalnamelen 73
3 +tmpdir /tmp/
4 -tmpdir /tmp
5                   -dump
6   
Patched version for SPLint (Secure Programming Lint)