Dne 13. 07. 21 v 11:33 Lukáš Zaoral napsal(a):
My name's Lukas Zaoral (FAS: lzaoral) and I work for Red Hat on automated formal analysis
Welcome Lukas.
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!
I have taken this one. Miroslav _______________________________________________ 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
