Project

General

Profile

Actions
Copy link

Bug #2463

closed

By some reason kb-recalculator dies sometimes or works not so good

Added by Evgeny Novikov over 12 years ago. Updated over 12 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Infrastructure
Start date:
02/20/2012
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
0d3345c

Description

The most bad thing is that ldv-upload also dies in consequence.
One of problems is connected with multiple evaluating of the same code:

KB-RECALC: ERROR: Subroutine get_loc_and_val redefined at (eval 12) line 206.

But the most likely the problem is connected with the fact that some error traces aren't supported (see issue #2421).
Don't forget to revert the commit f8c9f52 after fixing it!

Related issues 1 (0 open — 1 closed)

Related to Linux Driver Verification - Feature #2421: Add a verifier specific header for each error traces ClosedEvgeny Novikov02/10/2012

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 12 years ago

  • Status changed from Open to Resolved
  • Published in build set to 0d3345c

It is tested in 0d3345c of master branch at the moment. Corresponding hack was reverted.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 12 years ago

  • Status changed from Resolved to Closed

Works well.

Actions
Copy link

Also available in: Atom PDF