-
Notifications
You must be signed in to change notification settings - Fork 193
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
"Permission denied" during copying of result files #975
Labels
container
related to container mode
Comments
I would say it is a file that was generated, so it should be collected. |
is this issue fixed ? |
No, nothing has happened so far in this regard. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
There are two cases where a warning message of the form
Could not retrieve output file '...': [Errno 13] Permission denied: ...
is printed by BenchExec:Case 1. only happens because when copying output files we actually perform a move operation:
benchexec/benchexec/containerexecutor.py
Lines 1219 to 1222 in 033b38c
The file is still copied correctly. We should fix that and do not print a useless warning.
Case 2 is more interesting. If a tool creates a non-readable file, BenchExec could still make the file readable (we have that permission) and then copy it. Or we could keep the existing behavior.
@MartinSpiessl @dbeyer Any thoughts on this last point? What would you prefer? I tend towards adding the missing permission and copying the file.
The text was updated successfully, but these errors were encountered: