Skip to content

Remove unnecessary field from the ImmutableList#168

Merged
misonijnik merged 1 commit intomainfrom
ladisgin/immutable_list
Jan 24, 2024
Merged

Remove unnecessary field from the ImmutableList#168
misonijnik merged 1 commit intomainfrom
ladisgin/immutable_list

Conversation

@ladisgin
Copy link
Member

No description provided.

@ladisgin ladisgin requested a review from S1eGa January 23, 2024 13:22
@ladisgin ladisgin force-pushed the ladisgin/immutable_list branch from 82f1a6d to 502ccd2 Compare January 23, 2024 13:24
@ladisgin ladisgin force-pushed the ladisgin/immutable_list branch from 502ccd2 to e38eaf8 Compare January 23, 2024 14:35
@codecov-commenter
Copy link

codecov-commenter commented Jan 23, 2024

Codecov Report

Merging #168 (9001c02) into main (96ed720) will increase coverage by 0.00%.
The diff coverage is 83.33%.

❗ Current head 9001c02 differs from pull request most recent head e38eaf8. Consider uploading reports for the commit e38eaf8 to get more accurate results

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #168   +/-   ##
=======================================
  Coverage   69.42%   69.42%           
=======================================
  Files         210      210           
  Lines       30086    30083    -3     
  Branches     6669     6668    -1     
=======================================
- Hits        20888    20886    -2     
+ Misses       6693     6692    -1     
  Partials     2505     2505           
Files Coverage Δ
include/klee/ADT/ImmutableList.h 91.30% <83.33%> (-2.58%) ⬇️

... and 1 file with indirect coverage changes

@misonijnik misonijnik merged commit c7dd2ee into main Jan 24, 2024
@ladisgin ladisgin deleted the ladisgin/immutable_list branch March 7, 2024 08:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants