Project

General

Profile

Actions
Copy link

Bug #8358

closed

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

Added by Evgeny Novikov over 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Addons
Target version:
0.2
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 1 (0 open — 1 closed)

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

Actions
Actions
Copy link
 #1

Updated by Vladimir Gratinskiy over 7 years ago

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

Actions
Copy link
 #2

Updated by Evgeny Novikov over 7 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.

Actions
Copy link
 #3

Updated by Evgeny Novikov over 7 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
Actions
Copy link
 #4

Updated by Evgeny Novikov over 7 years ago

  • Priority changed from Immediate to Urgent

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

Actions
Copy link
 #5

Updated by Evgeny Novikov about 7 years ago

  • Target version set to 0.2
Actions
Copy link
 #6

Updated by Evgeny Novikov about 7 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.

Actions
Copy link
 #7

Updated by Evgeny Novikov about 7 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.

Actions
Copy link
 #8

Updated by Evgeny Novikov about 7 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
Actions
Copy link
 #9

Updated by Ilja Zakharov about 7 years ago

  • Status changed from Open to Resolved

Implemented in updated-bam.

I have merged it to core-refactoring.

Actions
Copy link
 #10

Updated by Evgeny Novikov about 7 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.

Actions
Copy link
 #11

Updated by Ilja Zakharov about 7 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.

Actions
Copy link
 #12

Updated by Evgeny Novikov about 7 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.

Actions
Copy link
 #13

Updated by Evgeny Novikov about 7 years ago

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

Actions
Copy link
 #14

Updated by Evgeny Novikov about 7 years ago

  • Status changed from Resolved to Closed

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

Actions
Copy link

Also available in: Atom PDF