Project

General

Profile

Actions
Copy link

Feature #1514

open

Show addtional information on unsafes and unknowns in comparison

Added by Evgeny Novikov over 13 years ago. Updated about 12 years ago.

Status:
Open
Priority:
Normal
Assignee:
Evgeny Novikov
Category:
Statistics server
Start date:
07/13/2011
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

As all of statistics server users mentioned many times, it will be very helpful to have links to error traces for unsafes and lists of problems names for unknowns in comparison.

Related issues 1 (1 open — 0 closed)

Blocked by Linux Driver Verification - Feature #1520: Redesign comparison in statistics serverOpenEvgeny Novikov07/15/2011

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 13 years ago

The part related with unsafes was implemented in commit a6190d6 of gsoc-stats-server branch. The second part indeed is rather complicated. First of all, it will make comparison slower since problems will be obtained, will be related with other information and will be shown for all conversions. So before implementing this feature we should redesign comparison at all.

Actions
Copy link
 #2

Updated by Pavel Shved about 13 years ago

  • Priority changed from High to Normal
Actions
Copy link
 #3

Updated by Evgeny Novikov over 12 years ago

Here it's generated an incorrect link for a second unsafe error trace.

Actions
Copy link
 #4

Updated by Evgeny Novikov about 12 years ago

I will turn this off until it will be implemented properly. Also showing links to unsafes works buggy for conversions to/from deleted (#3355).

Actions
Copy link
 #5

Updated by Evgeny Novikov about 12 years ago

Turned off in commit f18bcea of the master branch.

Actions
Copy link

Also available in: Atom PDF