Project

General

Profile

Actions

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
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 open0 closed)

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

Actions
Actions

Also available in: Atom PDF