Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Intern all strings of a mutation #14

Merged
merged 1 commit into from
Apr 17, 2023
Merged

Intern all strings of a mutation #14

merged 1 commit into from
Apr 17, 2023

Conversation

uhafner
Copy link
Member

@uhafner uhafner commented Apr 17, 2023

These strings are the same in a lot of mutations. Maybe we can switch to a TreeString in a future release of this model.

@uhafner uhafner added the internal Internal changes without user or API impact label Apr 17, 2023
@codecov
Copy link

codecov bot commented Apr 17, 2023

Codecov Report

Merging #14 (3640cfd) into main (f2f03a6) will decrease coverage by 0.13%.
The diff coverage is 46.15%.

@@             Coverage Diff              @@
##               main      #14      +/-   ##
============================================
- Coverage     85.55%   85.42%   -0.13%     
  Complexity      482      482              
============================================
  Files            23       23              
  Lines          1343     1345       +2     
  Branches        190      192       +2     
============================================
  Hits           1149     1149              
- Misses          148      150       +2     
  Partials         46       46              
Impacted Files Coverage Δ
src/main/java/edu/hm/hafner/coverage/Mutation.java 77.52% <46.15%> (-1.79%) ⬇️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@uhafner uhafner merged commit a467c4c into main Apr 17, 2023
@uhafner uhafner deleted the intern branch April 17, 2023 14:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
internal Internal changes without user or API impact
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant