Problem with representation of directories : Cannot open file
When one opens a directory with ".." in the given relative path, Why3 IDE can't open the files in there.
I traced back the issue to src/util/sysutil.ml:160
where a ..
may get chopped off dir
when another appears in l
.
One possible solution could be to account for the possibility here and properly interpret it.
Another may be to completely bypass the function, but this would lead to ugly printed filenames.
Another solution could be to prevent the apparitions of ..
at all in the base session representation (src/session/server_utils.ml:27
).
A final solution could be to use an external fully-fledged library on file and directory representation, and especially the normalising function they would implement.