Project

General

Profile

Actions

Feature #1702

closed

Extract error trace parser from error-trace-visualizer

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:
9c4ac3f

Description

This task becomes actual because of rather close connection between KB scripts and error trace parser (see blocked issues).


Related issues 3 (1 open2 closed)

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 #1703: Think about error trace traversing libraryClosedEvgeny Novikov08/29/2011

Actions
Actions #1

Updated by Pavel Shved about 13 years ago

  • Priority changed from High to Normal
Actions #2

Updated by Evgeny Novikov about 13 years ago

  • Priority changed from Normal to High

Raise this bug priority as it represents a part of #1637 issue having to be done.

Actions #3

Updated by Pavel Shved about 13 years ago

There are more things to decouple from the error trace visualizer. One of them, about which we completely forgot, is that a verifier's developer should specify an error trace converter!

This bring us back to the discussion on what should be treated as an error trace, and what centralized format should be supported. But, surely, the parser that transforms BLAST's error trace to in-memory Perl data structures (I guess, that's what you meant) should be decoupled.

Actions #4

Updated by Evgeny Novikov about 13 years ago

It seems that error trace visualizer should be redesign at last :)

Actions #5

Updated by Evgeny Novikov about 13 years ago

  • Status changed from Open to Resolved

Initially desired feature was resolved in 9c4ac3f of knowledge-base-2 branch. Other efforts of error trace visualizer redesign, in particular to clarify the way of a new verifier error trace support, should be considered in other places.

Actions #6

Updated by Evgeny Novikov about 13 years ago

  • Status changed from Resolved to Closed

It's in master now. Nevertheless in redesigning of ETV this also should be taken into account.

Actions #7

Updated by Evgeny Novikov about 13 years ago

  • Published in build set to 6fd6348
Actions #8

Updated by Evgeny Novikov about 13 years ago

  • Published in build changed from 6fd6348 to 9c4ac3f
Actions

Also available in: Atom PDF