Project

General

Profile

Actions
Copy link

Bug #8005

closed

Handle exceptions in witness processing

Added by Pavel Andrianov about 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Immediate
Assignee:
Evgeny Novikov
Category:
Tasks generation
Target version:
-
Start date:
03/01/2017
Due date:
% Done:

0%

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

Description

In race analysis multiple unsafes may be obtained. If one witness сauses an exception, the other unsafes (even already processed and uploadeed) can not be shown, because verification finish report is missing. Likely, the uploaded unsafes should be visualized anyway.

Actions
Copy link
 #1

Updated by Evgeny Novikov about 7 years ago

  • Priority changed from Normal to Immediate

This is a pretty bad issue since one can neither analyze properly parsed witnesses nor evaluate all issues in parsing other witnesses at once.

Actions
Copy link
 #2

Updated by Evgeny Novikov about 7 years ago

  • Status changed from New to Closed

I fixed this in c28d790 to master. Now all error traces that can be processed will be shown as well as all problems will be represented within one unknown report.

Actions
Copy link

Also available in: Atom PDF