Skip to content

Functional environment

Benjamin Jorgerequested to merge
functional-environment into master

Functionalize why3find by carrying around the environment and configuration (why3find.json)

Merge request reports