Skip to content

Functional environment

Benjamin Jorge requested to merge functional-environment into master

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

Merge request reports