Executing Paths.get(filename).getParent fails if filename is a relative path in the current folder (and thus does not have any path component besides the filename itself).
Please let me know if you have a great idea for a test case as we would need to invoke Gobra relative to a folder containing a Gobra file such that we can provide a path to the Gobra file without any path component.
Executing
Paths.get(filename).getParent
fails iffilename
is a relative path in the current folder (and thus does not have any path component besides the filename itself).Please let me know if you have a great idea for a test case as we would need to invoke Gobra relative to a folder containing a Gobra file such that we can provide a path to the Gobra file without any path component.
Fixes #781