Fix detection of [prover] section in configuration file
When running why3 config show -C why3.conf
with a file why3.conf
containing [prover]
sections, no provers are outputted by the why3 config show
command.
After some investigation, it seems that the issue comes from here: https://gitlab.inria.fr/why3/why3/-/blob/master/src/driver/whyconf.ml#L1079
Indeed, the add_builtin_provers
seem to erase the provers that were previously well detected by read_config_rc
.
If I comment this line, the [prover]
sections are well detected and shown in the output.
The last changes related to this part of the code seem to come from this commit: 0cb25213.