Bug #8358
closedAccounting of line passes and function calls is broken in CPAchecker BAM
Added by Evgeny Novikov over 7 years ago. Updated about 7 years ago.
0%
Description
I always see just number "1" for all lines, functions and within legends.
Updated by Vladimir Gratinskiy over 7 years ago
I need some examples to fix it as for me everything works fine.
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.
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
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.
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.
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.
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
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.
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.
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.
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.
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.
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.