Project

General

Profile

Feature #9001

Dump similarities for associated unsafe marks

Added by Evgeny Novikov 8 months ago. Updated 8 months 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 tablesClosed2018-06-27

History

#1 Updated by Evgeny Novikov 8 months ago

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

#3 Updated by Evgeny Novikov 8 months 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 8 months ago

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

Implemented in feature_9001.

#5 Updated by Evgeny Novikov 8 months 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 8 months ago

  • Status changed from Resolved to Closed

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

Also available in: Atom PDF