[ldv-project] Klever Verification Framework

[Pundir,Nitin K]

Hi All,

Does anybody have notes on getting started with Klever Verification Framework?
I got it setup but it seems to just populate Linux3.14 kernel.

Thanks in advance.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20191023/7f04853c/attachment.html>