Project

General

Profile

Feature #9449

Make lightweight verification results more lightweight

Added by Evgeny Novikov 7 months ago. Updated about 2 months ago.

Status:
Resolved
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
01/24/2019
Due date:
07/02/2019
% Done:

100%

Estimated time:
Published in build:

Description

A long ago we introduced lightweight verification results primarily to meet the challenge with performance overheads for different actions. Besides, they helped to keep a disk space quite considerably.

Indeed, lightweight verification results are primary verification results that Klever users would like to obtain. For the production mode this is the default setting. That's why this conception is very important. It should not just speed up some actions. It should represent verification results easier when most intermediate details are omitted. In addition, to omitting these details in representation, they should be removed (or not stored at all) to serve original purposes.

Perhaps, the only difference of lightweight verification results from full-weight verification results is absence of component trees. Just some statistics about operation of components (consumed computational resources, the number of instances) should be remained. Of course, all meaningful verification results (unsafes, safes, unknowns and code coverage) should be presented always. In addition, there can be some very useful data, like input files of verifiers that should be stored in both modes if required.

Please, do not suggest brilliant ideas how to simplify representation of verification results further within this issue. This is a scope of other issues.

History

#1

Updated by Evgeny Novikov 7 months ago

I forgot to say, that for lightweight verification results component trees should be removed from everywhere when they were present before (jobs, safes, unsafes, unknowns, comparison of verification results, etc.). Also, verification jobs that have sub-jobs should be always full-weight. Bridge should corrupt such verification jobs if one will try to obtain lightweight verification results for them.

#2

Updated by Vladimir Gratinskiy about 2 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved
  • Due date set to 07/02/2019

Implemented in bridge-3.0.

Also available in: Atom PDF