https://bugzilla.redhat.com/show_bug.cgi?id=1981739 --- Comment #3 from lzaoral@xxxxxxxxxx --- Thank you for the quick review. I'll fix the wording of the summary and description and I'll contact upstream developers about the manual pages. However, the warnings regarding the libkleetest library are not relevant for this package as this library is meant to be used by users of KLEE and not by developers. Users can replay a specific test-case generated by KLEE by linking this support library directly to the original tested sources, therefore, -devel sub-package is not suitable in this case. The same goes for the "shared-lib-calls-exit" warning. Users can control the behaviour of this library by environment variables and one of them results in a call of exit(3) if something goes wrong with the replay environment itself. More onto this topic can be found in this tutorial: https://klee.github.io/tutorials/testing-function/#replaying-a-test-case Thanks for pointing it out, though, I'll emphasize this fact more in the spec file. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/package-review@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure