Local config file common to all Why3 commands
Suggestion: if a file with a fixed name, for example .why3
, is present in the directory of a loaded file (source or session) then do as if it was given as a --extra-config
. It would be a nice alternative to systematically passing -L .
on the command-line for example.