"why3 config detect" detects every binary executable only once
When running why3 config detect --debug=autodetect
, I get
<autodetect>Run: (alt-ergo-2.4.0 --version)
<autodetect>Run: (alt-ergo-2.3.3 -version)
...
<autodetect>Run: (alt-ergo-2.0.0 -version)
<autodetect>Run: (alt-ergo -version)
but not
<autodetect>Run: (alt-ergo --version)
So, it seems like every binary executable is tested only once (the last block?) rather than for every prover block in which it appears. As a consequence, Alt-Ergo 2.4.0 cannot be detected, if named alt-ergo
.