Closed KlaraCimbalnik closed 3 years ago
Would it be too much effort for you to start from scratch, create one commit with the method refactoring, and one with the new code?
That's fine, I can do that. Just to be sure: When you are talking about the method refactoring, you are referring to the extraction of code to the new improveIoExceptionMessage
-method, right?
When you are talking about the method refactoring, you are referring to the extraction of code to the new
improveIoExceptionMessage
-method, right?
Exactly, sorry for not being clear.
I published version 0.3000-486-g4e9577e of this library with this feature.
Suggestion: Add a directory equivalent to
TempFile
(and with that toDeleteOnCloseFile
)We could use this in CPAchecker here.