Skip to content

Fix FileUtils.removeRecursively for regular files - #651

Open
jiteshkhatri11 wants to merge 1 commit into
javapathfinder:masterfrom
jiteshkhatri11:fix-648-remove-recursively-regular-file
Open

jiteshkhatri11 wants to merge 1 commit into
javapathfinder:masterfrom
jiteshkhatri11:fix-648-remove-recursively-regular-file

Conversation

@jiteshkhatri11

Copy link
Copy Markdown

Summary

  • Handle the case where File.listFiles() returns null for a regular file.
  • Prevent NullPointerException when calling FileUtils.removeRecursively() on a regular file.
  • Add a regression test verifying that a regular file is deleted successfully.

Testing

  • gradlew.bat compileJava
  • gradlew.bat compileTestJava
  • gradlew.bat parallelTest --tests "gov.nasa.jpf.util.FileUtilsRemoveRecursivelyTest"
  • gradlew.bat parallelTest

All tests passed locally.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant