Mentions légales du service

Skip to content
  • 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