Bug #8358

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

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

Status:ClosedStart date:08/16/2017
Priority:UrgentDue date:
Assignee:Ilja Zakharov% Done:

0%

Category:AddonsSpent time:-
Target version:0.2
Detected in build:svn Published in build:
Platform:

Description

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


Related issues

Blocks Klever - Feature #8353: Calculate total code coverage Closed 08/15/2017

History

#1 Updated by Vladimir Gratinskiy 3 months ago

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

#2 Updated by Evgeny Novikov 3 months 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 3 months 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 3 months ago

  • Priority changed from Immediate to Urgent

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

#5 Updated by Evgeny Novikov 3 months ago

  • Target version set to 0.2

#6 Updated by Evgeny Novikov 3 months 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 3 months 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 3 months 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 2 months ago

  • Status changed from Open to Resolved

Implemented in updated-bam.

I have merged it to core-refactoring.

#10 Updated by Evgeny Novikov 2 months 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 2 months 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 2 months 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 2 months ago

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

#14 Updated by Evgeny Novikov 2 months ago

  • Status changed from Resolved to Closed

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

Also available in: Atom PDF