Project

General

Profile

Bug #3205

Driver that cannot be built is "verified" by ldv-tools

Added by Vladimir Gratinskiy over 7 years ago.

Status:
New
Priority:
Normal
Assignee:
Category:
Infrastructure
Start date:
07/13/2012
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

Driver archive in attachment. Log is so:

ldv-core: NORMAL: Calling drv-env-gen...
ldv-core: WARNING: BCE failed, see '/home/vladimir/Documents/work/hello/test/work/current--X--hello.tar.bz2--X--defaultlinux-2.6.34--X--39_1/linux-2.6.34/ldv_tempdir/bce_err.log'.
ldv-core: NORMAL: Calling Domain Speicific C-Verifier
dscv: NORMAL: Nothing will be run (no mains!).  Printing final report...


Files

hello.tar.bz2 (559 Bytes) hello.tar.bz2 Vladimir Gratinskiy, 07/13/2012 03:56 PM

Related issues

Related to Linux Driver Verification - Bug #3207: LDV tools incorrectly process cases when incorrect rule model ids are providedNew07/13/2012

Actions

Also available in: Atom PDF