-
Guillaume Melquiond authored
The loaded files are slimmed down version of the standard configuration file. They only support the following sections and fields: [main] loadpath= plugin= [prover ...] option= driver= It is also possible to define brand new [prover] sections. For now, the only supported frontends are why3 and why3ide.
5c4b2517