Mentions légales du service

Skip to content

chg: improve the error message when the specified module is not found

Gérald Point requested to merge improve-error-message-on-unknown-module into master

When using why3extract, if a unknown module file.Mod is specified we get a message that is not very clear

anomaly: Not_found

The proposed patch displays a more explicit message:

unknown module: Mod

Merge request reports