File klee-rpmlintrc of Package klee

addFilter("shlib-policy-name-error .*libkleeRuntest")
addFilter("devel-file-in-non-devel-package")