search

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code
http://svf-tools.github.io/SVF/
Other
1.43k stars 436 forks source link

remove virtual #1561

Closed jumormt closed 1 month ago

codecov[bot] commented 1 month ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 62.84%. Comparing base (7a26fd7) to head (f217d0c). Report is 2 commits behind head on master.

Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/SVF-tools/SVF/pull/1561/graphs/tree.svg?width=650&height=150&src=pr&token=swDcvdBMse&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None)](https://app.codecov.io/gh/SVF-tools/SVF/pull/1561?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) ```diff @@ Coverage Diff @@ ## master #1561 +/- ## ======================================= Coverage 62.84% 62.84% ======================================= Files 245 245 Lines 25669 25669 Branches 4507 4507 ======================================= Hits 16131 16131 Misses 9538 9538 ``` | [Files with missing lines](https://app.codecov.io/gh/SVF-tools/SVF/pull/1561?dropdown=coverage&src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None) | Coverage Δ | | |---|---|---| | [svf/include/Graphs/GenericGraph.h](https://app.codecov.io/gh/SVF-tools/SVF/pull/1561?src=pr&el=tree&filepath=svf%2Finclude%2FGraphs%2FGenericGraph.h&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=None#diff-c3ZmL2luY2x1ZGUvR3JhcGhzL0dlbmVyaWNHcmFwaC5o) | `80.00% <ø> (ø)` | |