Skip to content

Warning summary

Benjamin Jorge requested to merge warning-summary into master

Add a Utils.Log module to report warnings and errors. A warnings summary gets printed at exit.

It looks like this :

why3find_warnings_output

Fix #67 (closed)

Merge request reports