A |CI| pipeline is setup in the private GitLab repository. It is composed of 4 stages:
- Static analysis: for now there is only one job in the stage that compiles the documentation.
- Build: this stage compiles |FMDT| on various compilers and with various compiler definitions.
- Test: regression tests and memory leaks tests are performed.
- Coverage: the code coverage of the regression tests is computed.
The |CI| pipeline is triggered after each push on the GitLab repository.
The jobs are executed on runners hosted by the LIP6 laboratory.
The jobs can easily be deployed thanks to the use of Docker images.
The public |AFF3CT| container registry is used
(https://gitlab.com/aff3ct/aff3ct/container_registry).