Project

General

Profile

Actions
Copy link

Bug #3205

open

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

Added by Vladimir Gratinskiy over 12 years ago.

Status:
New
Priority:
Normal
Assignee:
Vadim Mutilin
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 1 (1 open — 0 closed)

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

Actions

No data to display

Actions
Copy link

Also available in: Atom PDF