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

Also available in: Atom PDF