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

compiler: Patch double buffering #2247

Merged
merged 1 commit into from
Oct 26, 2023
Merged

compiler: Patch double buffering #2247

merged 1 commit into from
Oct 26, 2023

Conversation

FabioLuporini
Copy link
Contributor

Test is in PRO (not practical to test it here)

@codecov
Copy link

codecov bot commented Oct 25, 2023

Codecov Report

Merging #2247 (4706e66) into master (522d475) will decrease coverage by 0.02%.
The diff coverage is 0.00%.

@@            Coverage Diff             @@
##           master    #2247      +/-   ##
==========================================
- Coverage   86.89%   86.87%   -0.02%     
==========================================
  Files         229      229              
  Lines       41687    41691       +4     
  Branches     7695     7696       +1     
==========================================
- Hits        36223    36221       -2     
- Misses       4835     4841       +6     
  Partials      629      629              
Files Coverage Δ
devito/passes/clusters/buffering.py 86.61% <0.00%> (-0.89%) ⬇️

... and 1 file with indirect coverage changes

@FabioLuporini FabioLuporini merged commit 4b0e39a into master Oct 26, 2023
32 checks passed
@FabioLuporini FabioLuporini deleted the hotfix-buffering branch October 26, 2023 07:05
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.

1 participant