Whyconf API crashes when enable_relocation is set
When configuring Why3 with the flag enable_relocation
set, Config.datadir
is set to Filename.concat (Filename.concat (Filename.dirname (Filename.dirname Sys.executable_name)) "share") "why3"
. But when calling Whyconf.init_config
from an external program, Sys.executable_name
does not point to why3 but to the external program. Thus, the datadir
location is incorrect, resulting in a crash in Autodetection.read_auto_detection_data
.