File klee-rpmlintrc of Package klee

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