Project

General

Profile

Actions
Copy link

Feature #9001

closed

Dump similarities for associated unsafe marks

Added by Evgeny Novikov almost 6 years ago. Updated almost 6 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Vladimir Gratinskiy
Category:
Bridge
Target version:
1.1
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 1 (0 open — 1 closed)

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov almost 6 years ago

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

Updated by Evgeny Novikov almost 6 years 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.

Actions
Copy link
 #4

Updated by Vladimir Gratinskiy almost 6 years ago

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

Implemented in feature_9001.

Actions
Copy link
 #5

Updated by Evgeny Novikov almost 6 years ago

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

Actions
Copy link
 #6

Updated by Evgeny Novikov almost 6 years ago

  • Status changed from Resolved to Closed

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

Actions
Copy link

Also available in: Atom PDF