[ldv-project] Question about driver verification

Павел andrianov at ispras.ru
Fri Apr 14 10:49:39 MSK 2023


Dear 陈坤,

I guess, you missed prepared source code. Please, refer

https://klever.readthedocs.io/en/latest/deploy.html#klever-build-bases

So, you need to prepare the target source code for verification - obtain 
a build base.

Best regards,
Pavel

11.04.2023 04:39, 陈坤 пишет:
> How can I test other codes? I can only test the default 3 drivers, the 
> rest of the code will prompt "ValueError: Cannot find fragments, files 
> or functions for the following expressions".
>
> _______________________________________________
> ldv-project mailing list
> ldv-project at linuxtesting.org
> http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project



More information about the ldv-project mailing list