Project

General

Profile

Bug #10525

Consider program fragment and requiremens specification as attribute for comparison

Added by Evgeny Novikov 3 months ago. Updated 3 months ago.

Status:
Closed
Priority:
Immediate
Category:
Tasks generation
Target version:
Start date:
10/14/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
git
Platform:
Published in build:

Description

At the moment users can notice that from time to time there are unmatched verdicts when they compare verification results even though it is not clear why this is the case since everything works quite well and there are attributes necessary for comparison. We revealed that this is due to lack of flag "compare": True for these attributes for reports of VTG plugins. This is an awful and old bug that can be trivially fixed. Unfortunately, without some manual efforts all existing verification results will not gain a good comparison capability. Hopefully, I guess that we will withdraw all these results soon when Klever 3.0 will be ready.

History

#1

Updated by Evgeny Novikov 3 months ago

  • Status changed from New to Resolved

I fixed this in branch compare-vtg-attrs. Let's wait for CI.

#2

Updated by Evgeny Novikov 3 months ago

  • Status changed from Resolved to Closed

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

Also available in: Atom PDF