Project

General

Profile

Bug #8358

Accounting of line passes and function calls is broken in CPAchecker BAM

Added by Evgeny Novikov about 3 years ago. Updated about 3 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Addons
Target version:
Start date:
08/16/2017
Due date:
% Done:

0%

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

Description

I always see just number "1" for all lines, functions and within legends.


Related issues

Blocks Klever - Feature #8353: Calculate total code coverageClosed08/15/2017

Actions

History

#1

Updated by Vladimir Gratinskiy about 3 years ago

I need some examples to fix it as for me everything works fine.

#2

Updated by Evgeny Novikov about 3 years ago

  • Category changed from Bridge to Tasks generation
  • Assignee changed from Vladimir Gratinskiy to Alexey Polushkin

Sorry, the issue lies on the low levels. It seems that coverage is incorrectly calculated somewhere.

#3

Updated by Evgeny Novikov about 3 years ago

  • Subject changed from Accounting of line passes and function calls is broken for coverage visualization to Accounting of line passes and function calls is broken when coverage is obtained or preprocessed
#4

Updated by Evgeny Novikov about 3 years ago

  • Priority changed from Immediate to Urgent

This won't be fixed soon since Alexey is on vacation now.

#5

Updated by Evgeny Novikov about 3 years ago

  • Target version set to 0.2
#6

Updated by Evgeny Novikov about 3 years ago

  • Status changed from New to Rejected
  • Assignee deleted (Alexey Polushkin)

That turned out to be an issue in CPAchecker BAM which was likely fixed in revision 25793 of branch ldv-bam.

#7

Updated by Evgeny Novikov about 3 years ago

  • Category changed from Tasks generation to Addons
  • Status changed from Rejected to Open
  • Assignee set to Ilja Zakharov

I suppose to update CPAchecker BAM to the specified version, to test obtained coverage and to update all preset jobs after that.

#8

Updated by Evgeny Novikov about 3 years ago

  • Subject changed from Accounting of line passes and function calls is broken when coverage is obtained or preprocessed to Accounting of line passes and function calls is broken in CPAchecker BAM
#9

Updated by Ilja Zakharov about 3 years ago

  • Status changed from Open to Resolved

Implemented in updated-bam.

I have merged it to core-refactoring.

#10

Updated by Evgeny Novikov about 3 years ago

  • Status changed from Resolved to Open

It seems that the suggested fix doesn't work. I still don't notice anywhere more than 1 line passes and function calls.

#11

Updated by Ilja Zakharov about 3 years ago

  • Status changed from Open to Resolved

It should work because I have tested it and easily can send you an example with proper coverage. Be sure that you have tried it out on a complicated enough driver.

#12

Updated by Evgeny Novikov about 3 years ago

Ilja Zakharov wrote:

It should work because I have tested it and easily can send you an example with proper coverage. Be sure that you have tried it out on a complicated enough driver.

I didn't populate new verification jobs where a new version of CPAchecker BAM was specified, and didn't update CPAchecker BAM myself. So, likely everything works.

#13

Updated by Evgeny Novikov about 3 years ago

I am glad to see the number of both line passes and function calls after updating CPAchecker BAM.

#14

Updated by Evgeny Novikov about 3 years ago

  • Status changed from Resolved to Closed

I merged the branch to master in aec48ac1. Coverage becomes more and more attractive.

Also available in: Atom PDF