Feature #7866
closedSupport any combination of edges from various threads
0%
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.
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.
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.