• MARCHE Claude's avatar
    allow relative pathnames for drivers stored in the Why3 config file · eb751c1b
    MARCHE Claude authored
    If drivers in why3.conf are simple names like "alt_ergo", then the driver file
    is search as <datadir>/drivers/alt_ergo.drv
    
    This behavior is now the same as when a driver is given with option -D on the
    command line for why3prove, why3replay or why3extract
    
    Reminder: the datadir is either given as
    1) the environment variable WHY3DATA
    2) the field "datadir" of the [main] section of the
       why3 config file if exists
    3) or by default the compile-time datadir
    eb751c1b
Name
Last commit
Last update
..
bash Loading commit data...
emacs Loading commit data...
images Loading commit data...
lang Loading commit data...
latex Loading commit data...
vim Loading commit data...
zsh Loading commit data...
provers-detection-data.conf Loading commit data...
strategies.conf Loading commit data...
why3session.dtd Loading commit data...