Self Introduction: Lukas Zaoral

[Lukáš Zaoral]

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

[Miroslav Suchý]

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