Project

General

Profile

Actions
Copy link

Bug #7885

closed

Exception while vizualizing error trace

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

Status:
Closed
Priority:
Urgent
Assignee:
Anton Vasilyev
Category:
Tasks generation
Target version:
-
Start date:
01/23/2017
Due date:
% Done:

0%

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

Description

While handling a witness for races an exception occurred "Cannot delete edge with warning". The witness is attached.

Files

witness._Bool_only_lcd.graphml (435 KB) witness._Bool_only_lcd.graphml Pavel Andrianov, 01/23/2017 03:44 PM
Actions
Copy link
 #1

Updated by Evgeny Novikov over 7 years ago

  • Assignee set to Evgeny Novikov
  • Priority changed from Normal to Urgent
Actions
Copy link
 #2

Updated by Evgeny Novikov over 7 years ago

  • Status changed from New to Closed
  • Assignee changed from Evgeny Novikov to Anton Vasilyev

First revealed exception was fixed a long ago by Anton in branch fix_witness_parsing that I merged to master in 5dfc0c4. The next exception is due to you miss tag assumption which is used to detect when global declarations finish and execution of the main function starts.

Actions
Copy link

Also available in: Atom PDF