Project

General

Profile

Actions
Copy link

Bug #493

closed

Incomplete BLAST bug descriptors

Added by Alexey Khoroshilov about 14 years ago. Updated almost 14 years ago.

Status:
Closed
Priority:
High
Assignee:
Pavel Shved
Category:
-
Start date:
10/18/2010
Due date:
% Done:

0%

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

Description

BLAST generates empty or incomplete bug descriptors:

=========== Launch information ===========
Verifier: BLAST ()
Time Limit: 5000 sec
Memory Limit: 3000000 Kb
Additional options: -enable-recursion -fdepth 5
Solver: default
=========== Launch inform ends ===========

Here are several examples where the issue occurs:
08_1 capi.ko
08_1 intel-iommu.ko
08_1 isp1760-hcd.ko
08_1 iwl-agn.ko

Related issues 1 (0 open — 1 closed)

Is duplicate of Linux Driver Verification - Bug #429: BLAST error descriptors lacks detailsClosedVadim Mutilin09/09/2010

Actions
Actions
Copy link

Also available in: Atom PDF