Project

General

Profile

Actions

Feature #1703

closed

Think about error trace traversing library

Added by Evgeny Novikov about 13 years ago. Updated about 13 years ago.

Status:
Closed
Priority:
High
Category:
Infrastructure
Start date:
08/29/2011
Due date:
% Done:

0%

Estimated time:
Published in build:
082feed

Description

It'll help to implement KB library and may be used, for instance, to deal with issues like #946.


Related issues 4 (2 open2 closed)

Blocked by Linux Driver Verification - Feature #1702: Extract error trace parser from error-trace-visualizerClosedEvgeny Novikov08/29/2011

Actions
Blocks Linux Driver Verification - Feature #1633: KB: library function to check if assertion failed in a function givenOpenEvgeny Novikov08/11/2011

Actions
Blocks Linux Driver Verification - Feature #1637: KB: Check for error trace in default KB patternClosedEvgeny Novikov08/13/2011

Actions
Blocks Linux Driver Verification - Feature #946: Implement intellectual function bodies closing in the more efficient wayOpenEvgeny Novikov03/15/2011

Actions
Actions

Also available in: Atom PDF