Handle exception when file is not found (!1189) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 17.10.3. We now benefit from the enhancements of 17.9 and 17.10 releases. Among other improvements, it is now possible to set the automatic deletion of continuous integration pipelines. You can help us reduce storage usage by setting an expiry date for your pipelines.

XIA Li-Yao requested to merge lixia/why3:sys-exception into master Dec 23, 2024

Don't crash if a source file listed in why3session.xml no longer exists.