File klee-rpmlintrc of Package klee

addFilter("shlib-policy-name-error.*libkleeRuntest1_0")
addFilter("binaryinfo-readelf-failed.*bca")
addFilter("devel-file-in-non-devel-package")