Project

General

Profile

Actions

Bug #3207

open

LDV tools incorrectly process cases when incorrect rule model ids are provided

Added by Evgeny Novikov over 12 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

When one tries to verify kernel drivers against an unexisting rule model, he or she will obtain a final archive with results, that causes:

Assertion failed: 1 != -1! (RuntimeError)

in uploading. This is incorrect certainly.


Related issues 1 (1 open0 closed)

Related to Linux Driver Verification - Bug #3205: Driver that cannot be built is "verified" by ldv-toolsNewVadim Mutilin07/13/2012

Actions

No data to display

Actions

Also available in: Atom PDF