Bug #7885
closed
Exception while vizualizing error trace
Added by Pavel Andrianov over 7 years ago.
Updated over 7 years ago.
Category:
Tasks generation
Description
While handling a witness for races an exception occurred "Cannot delete edge with warning". The witness is attached.
Files
- Assignee set to Evgeny Novikov
- Priority changed from Normal to Urgent
- 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.
Also available in: Atom
PDF