Hello! My name's Lukas Zaoral (FAS: lzaoral) and I work for Red Hat on automated formal analysis of RPM packages. I've created a review request for a tool called KLEE that can be, besides other things, used for exhaustive generation of tests: https://bugzilla.redhat.com/show_bug.cgi?id=1981739 Thank you for taking a look!
Regards, Lukas _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org 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/devel@lists.fedoraproject.org Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
