Mentions légales du service

Skip to content

Handle exception when file is not found

XIA Li-Yao requested to merge lixia/why3:sys-exception into master

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

Merge request reports