<p>Got it, thks!</p>
<div class="quote"> 
 <blockquote class="quote" style="margin:0 0 0 0;border-left:1px #ccc solid;padding-left: 12px">
   发件人：Павел <andrianov@ispras.ru> 
  <br>日期：2023年4月14日 15:49 
  <br>主题：Re: [ldv-project] Question about driver verification 
  <br>收件人：陈坤 <qbei113043@163.com> 
  <br> 
  <br type="attribution">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@linuxtesting.org > http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project 
 </blockquote> 
</div>