Linux Driver Verification

I see 73 more INTEGRATION ERRORS in my current test run (ae81c80). For example:

ldv-git: NORMAL: Checking drivers/net/wireless/libertas/debugfs.c (1029 of 2965)...
mv: cannot stat `finished/*': No such file or directory
/home/tester/ldv/opt/ldv-manager/mk/ldv-manager.mk:60: Variable "name" is empty, falling back to "default" 
current--X--commands.xml--X--default commands.xml
if [[ "current" != "current" ]] ; then export PATH=/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/inst/current/bin:$PATH ; fi ; LDV_ENVS_TARGET=/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/inst/current ldv task --cmdstream=commands.xml --workdir=work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1 --env=/home/tester/.ldv/ldv/envs/1/shadows@08_1,29_1,32_7,37_1,43_1,77_1  
ldv: NORMAL: ldv start.
ldv-task: NORMAL: Start process for environment "/home/tester/.ldv/ldv/envs/1/shadows".
vanilla-extractor: NORMAL: GSOC Linux Vanilla extractor.
ldv-kmanager: NORMAL: Description name = "artificial_env_1".
ldv-kmanager: NORMAL: Kernel successfully prepared.
ldv-task: NORMAL: Calling LDV-core.
ldv-core: NORMAL: Calling Build Command Extractor
build-cmd-extractor: WARNING: Temp directory: "/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/bce_tempdir" - already exists. Reuse it.
cmd-filter: NORMAL: Filter out drivers.
cmd-filter: NORMAL: Remove unused commands.
build-cmd-extractor: NORMAL: Command stream is successfully extracted.
ldv-core: NORMAL: Calling Command Stream Divider.
CSD: NORMAL: Generate cmdstream for driver: "/home/tester/.ldv/ldv/envs/1/shadows/debugfs.ko".
CSD: NORMAL: Number of extracted command streams: 1.
ldv-core: NORMAL: Process driver number 0.
ldv-core: NORMAL: Calling Driver Environment Generator
ldv-core: NORMAL: Calling Domain Speicific C-Verifier
dscv: NORMAL: CMDFILE    : /home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/deg_tempdir/cmd_after_deg.xml
dscv: NORMAL: CMDFILE-OUT: /home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/cmd08_1.xml
dscv: NORMAL: BASEDIR: /home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/ri/08_1
dscv: NORMAL: Calling rule_instrumenter for rule model 08_1...
rule-instrumentor: NORMAL: Obtain the absolute path of the current working directory.
rule-instrumentor: NORMAL: Process the command-line options.
rule-instrumentor: NORMAL: Check presence of needed files, executables and directories. Copy needed files and directories.
rule-instrumentor: NORMAL: Get and store information on the required model.
rule-instrumentor: NORMAL: Create a general aspect if it's needed.
rule-instrumentor: NORMAL: Process the commands input file.
rule-instrumentor: NORMAL: Delete auxiliary files in the nondebug modes.
rule-instrumentor: NORMAL: Make all successfully.
dscv: NORMAL: Calling RCV blast backend for cc command 4-llvm-cc...
dscv: NORMAL: Calling RCV blast backend for ld command 4-llvm-ld...
rcv-blast: WARNING: Use of BLAST_EXP_NOALIAS is obsolete!!
rcv-blast: NORMAL: Running BLAST without alias analysis.
rcv-blast: NORMAL: Running BLAST for debugfs.ko.linked, entry ldv_main0_plain_sorted_withcheck...
BLAST couldn't find entry point/error location at /home/tester/ldv/opt/bin/../dscv/rcv/blast line 349.
 at /home/tester/ldv/opt/bin/../dscv/rcv/blast line 90
 at /home/tester/ldv/opt/bin/../dscv/rcv/blast line 90
INTEGRATION ERROR.  Cmdline:  /home/tester/ldv/opt/bin/../dscv/rcv/blast --cmdfile=/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/08_1/model08_1-blast-4-llvm-ld.xml --workdir=/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv/cmdfiles/rcv/08_1 --sanity-dir=/home/tester/.ldv/ldv/envs/1/work/work-0143832cc96d0bf78486297aad5c8fb2c2ead02a/drivers/net/wireless/libertas/debugfs.c/work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/artificial_env_1/csd_deg_dscv/0/dscv_tempdir/dscv at /home/tester/ldv/opt/bin//dscv line 570.
 at /home/tester/ldv/opt/bin//dscv line 577
 at /home/tester/ldv/opt/bin//dscv line 577
ldv-core: ERROR: DSCV failed.
ldv-task: ERROR: ldv-core failed.
make: *** [work/current--X--commands.xml--X--defaultshadows--X--08_1--X--29_1--X--32_7--X--37_1--X--43_1--X--77_1/checked] Error 1
Code: 512 at /home/tester/ldv/opt/bin/ldv-git line 681.
Verification of drivers/net/wireless/libertas/debugfs.c failed!  Proceeding to the next driver...