Project

General

Profile

Feature #7866

Support any combination of edges from various threads

Added by Evgeny Novikov about 3 years ago. Updated about 3 years ago.

Status:
New
Priority:
Normal
Category:
Bridge
Target version:
-
Start date:
01/19/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

#7864 fixed one particular case of this large feature, but likely this was the last one issue for the default configuration we use. But other configurations can introduce other cases. So it would be much better if Bridge will support any combination of edges from various threads, that is the most general and exhaustive case. For instance, you can take any error trace with several threads (say, attached for #7864), reorder its edges randomly so that just the order of edges within each thread will remain the same and try to visualize it.


Related issues

Follows Klever - Bug #7864: Some parts of visualized error traces are incorrectly duplicatedClosed01/18/201701/18/2017

Actions

History

#1

Updated by Evgeny Novikov about 3 years ago

  • Priority changed from Urgent to Normal

I am not sure that anybody will benefit something from this issue actually. Let's remember about it when we will use multithreaded programs verification where various combinations of threads do can happen.

Also available in: Atom PDF