Should why3config --add-prover only add one prover ?
Hello,
It seems that the current behavior of why3config --add-prover
is to first detect all the provers and then to add the prover given. I would like to add a prover without changing the rest of the configuration. Was it the intended behavior or could I add a new option such add --only-add-prover
?
It's possible that my question make sense only in the SPARK context where we merge configuration files and want to avoid the visibility of some provers in the configuration that we add.