Closed gbruer15 closed 2 months ago
I tested locally and it's fine. The issue is I'm not sure how I should consistently trigger the PermissionDenied
error to ensure it's being caught.
I could make a file without execute permissions and delete it afterwards. I'm not sure if that will be portable for the OS's that Devito supports, though.
Attention: Patch coverage is 71.42857%
with 2 lines
in your changes are missing coverage. Please review.
Project coverage is 66.18%. Comparing base (
e2743e0
) to head (a1dabe9
).
Files | Patch % | Lines |
---|---|---|
devito/arch/compiler.py | 50.00% | 1 Missing :warning: |
devito/mpi/distributed.py | 80.00% | 1 Missing :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
there are a few pep8 issues to be resolved: https://github.com/devitocodes/devito/actions/runs/8525302940/job/23365391849?pr=2340
I added a test for #2336, but I'm not sure if it will actually error on the bug I was encountering, so I'd like to run the standard test suite to make sure.
Closes #2336