Project

General

Profile

Feature #9001

Dump similarities for associated unsafe marks

Added by Evgeny Novikov about 1 year ago. Updated about 1 year ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
06/25/2018
Due date:
% Done:

100%

Estimated time:
Published in build:

Description

When downloading decision results Bridge outputs a list of associated marks for each report. I suggest to dump similarities for associated unsafe marks in addition, since it will help to identify more deviations and regressions.


Related issues

Related to Klever - Feature #9016: Show total similarity in unsafes and marks tablesClosed06/27/2018

Actions

History

#1

Updated by Evgeny Novikov about 1 year ago

  • Related to Feature #9016: Show total similarity in unsafes and marks tables added
#3

Updated by Evgeny Novikov about 1 year ago

  • Target version changed from 2.0 to 1.1

This issue is not strictly bound with purposes of 2.0 that targets verification of C software.

#4

Updated by Vladimir Gratinskiy about 1 year ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

Implemented in feature_9001.

#5

Updated by Evgeny Novikov about 1 year ago

I fixed it a bit to dump simple dictionaries rather than lists of lists. Now the branch is tested.

#6

Updated by Evgeny Novikov about 1 year ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in a823235a.

Also available in: Atom PDF