Mentions légales du service

Skip to content

[WIP] Run the main of commands outside the initialization of the module

François Bobot requested to merge register_commands into master

I believe it would be less problematic to run the code of the commands outside the initialization of their module. For example backtrace are not printed otherwise. I don't know yet why. I have converted only why3prove currently.

Merge request reports