why3 does not support symbolic links
ln -s /tmp foo
touch bar.mlw
why3 ide foo bar.mlw
why3 ide foo
anomaly: Sys_error("foo/../bar.mlw: No such file or directory")
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
ln -s /tmp foo
touch bar.mlw
why3 ide foo bar.mlw
why3 ide foo
anomaly: Sys_error("foo/../bar.mlw: No such file or directory")