Bug #10525
closedConsider program fragment and requiremens specification as attribute for comparison
0%
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.
Updated by Evgeny Novikov about 4 years ago
- Status changed from New to Resolved
I fixed this in branch compare-vtg-attrs. Let's wait for CI.
Updated by Evgeny Novikov about 4 years ago
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in 7595504af.