[Bug 1981739] Review Request: klee - Symbolic execution engine

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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




[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Conditions]     [KDE Users]

  Powered by Linux