Overview
Request 456786 superseded
klee is a symbolic executor use for static analysis.
- Created by jirislaby
- In state superseded
- Superseded by 456830
-
Open review for
legal-auto
-
Open review for
factory-staging
Request History
jirislaby created request
klee is a symbolic executor use for static analysis.
factory-auto declined review
Output of check script:
Attention, klee-rpmlintrc is not mentioned in spec files as source or patch.
For Factory submissions, you can not use setBadness. Use filters in klee/klee-rpmlintrc
For Factory submissions, you can not use setBadness. Use filters in klee/klee-rpmlintrc
factory-auto declined request
Output of check script:
Attention, klee-rpmlintrc is not mentioned in spec files as source or patch.
For Factory submissions, you can not use setBadness. Use filters in klee/klee-rpmlintrc
For Factory submissions, you can not use setBadness. Use filters in klee/klee-rpmlintrc
superseded by 456830