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.

Sign up for GitHub

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

Jump to bottom

better handling of stderr in target.runner.default() #42

Open
MLopez-Ibanez opened this issue Oct 11, 2022 · 0 comments
Open

better handling of stderr in target.runner.default() #42

MLopez-Ibanez opened this issue Oct 11, 2022 · 0 comments
Labels
enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed

Comments

@MLopez-Ibanez
Copy link
Owner

irace saves the stderr of target-runner to a temporary file and only reports its contents if the evaluation fails. If the file is empty, it is deleted. If the file is not empty, it leaves it there for the user to see if they want to check what is inside.

If someone sent a pull request implementing this, I will be happy to review it and commit it.

@TheIronBorn @DE0CH are interested in this option (see #35)
@MLopez-Ibanez MLopez-Ibanez added enhancement New feature or request help wanted Extra attention is needed good first issue Good for newcomers labels Oct 11, 2022
@MLopez-Ibanez MLopez-Ibanez mentioned this issue Oct 11, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request good first issue Good for newcomers help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@MLopez-Ibanez