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

switch p4est_destroy and p4est_connectivity_destroy in docs #120

Merged
merged 1 commit into from Mar 28, 2024

Conversation

ranocha
Copy link
Member

@ranocha ranocha commented Mar 28, 2024

Based on the suggestion of @lcw, I changed the order of p4est_destroy and p4est_connectivity_destroy in the docs. This should fix #119.

We should get a new release (at least of the stable docs) after merging this.

@ranocha ranocha added bug Something isn't working documentation Improvements or additions to documentation labels Mar 28, 2024
@JoshuaLampert
Copy link
Member

Did you perform some tests that after this there is no segfault anymore?

@JoshuaLampert
Copy link
Member

Ok, I just did some tests. After several tries with the new order, there was no single segfault. Before it was something like roughly every second or third time. So this looks promising. Thanks again @lcw for the pointer and thanks @ranocha for fixing this!

Copy link

codecov bot commented Mar 28, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 17.80%. Comparing base (af7b234) to head (64413c1).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #120   +/-   ##
=======================================
  Coverage   17.80%   17.80%           
=======================================
  Files           3        3           
  Lines        1427     1427           
=======================================
  Hits          254      254           
  Misses       1173     1173           
Flag Coverage Δ
unittests 17.80% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@JoshuaLampert JoshuaLampert merged commit ed6cd72 into main Mar 28, 2024
15 checks passed
@JoshuaLampert JoshuaLampert deleted the hr/fix_segfault_in_docs branch March 28, 2024 10:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Investigate segfault when building docs
2 participants