Mentions légales du service

Skip to content

sysutil: fix unix_error on lstat

DAILLER Sylvain requested to merge unix_error_lstat into master

In some cases, why3ide line 639, is_regular_dir can end up being called on the empty string. This call returns an exception. We now check errors so that this exception is not raised anymore (even on dubious calls to system_dependent_absolute_path.

Merge request reports