File klee-rpmlintrc of Package klee

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