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
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
Th
