Hi
>> is there a way to get the exact coqc command that is issued so
>> I can figure out what is going wrong ?
Ok the debug works while I get
[Config] reading extra configuration file file.config
it seems that the extra config is actually not added to the Coq command
cmd=[coqtop, -batch, -R,
Le 27/10/2020 à 13:55, Laurent Thery a écrit :
> In order to indicate where the vo files can be found, I have added
> a config file :
>
> [prover_modifiers]
> name="Coq"
> option="-R path_to_my_vofiles name_of_my_library"
Looks good to me.
> still when I do
>
> why3 replay --extra-config confi
Hi,
I have a little Why3 program as an example of a Coq library.
When my library is installed, why3 replay works fine.
Now I would like to check the why3 example within the build of my
library but this time replay can't locate my library files (fair enough
they are not yet installed), I get :
