Project

General

Profile

Actions

Feature #7866

closed

Support any combination of edges from various threads

Added by Evgeny Novikov about 7 years ago. Updated about 4 years ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
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 1 (0 open1 closed)

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

Actions
Actions #1

Updated by Evgeny Novikov about 7 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.

Actions #2

Updated by Evgeny Novikov about 4 years ago

  • Status changed from New to Rejected
  • Assignee deleted (Vladimir Gratinskiy)

The issue is not relevant for a new format of error traces.

Actions

Also available in: Atom PDF