Skip to content

Instantly share code, notes, and snippets.

@xennygrimmato
Created July 24, 2018 10:15
Show Gist options
  • Save xennygrimmato/f4e2399b66fa0ffe13d5b69c6ca44a9e to your computer and use it in GitHub Desktop.
Save xennygrimmato/f4e2399b66fa0ffe13d5b69c6ca44a9e to your computer and use it in GitHub Desktop.
infer issue with sub-modules
Summary of the reports:
...
(not shared for privacy)
Error while running epilogue "restoring Maven's pom.xml to its original state":
(Unix.Unix_error "No such file or directory" rename
"((src /Users/vaibhavtulsyan/infer_test_run/portal/rest-utils/pom.xml.infer-orig) (dst /Users/vaibhavtulsyan/infer_test_run/portal/rest-utils/pom.xml))").
Powering through...
Error while running epilogue "restoring Maven's pom.xml to its original state":
(Unix.Unix_error "No such file or directory" rename
"((src /Users/vaibhavtulsyan/infer_test_run/portal/pom.xml.infer-orig) (dst /Users/vaibhavtulsyan/infer_test_run/portal/pom.xml))").
Powering through...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment