4. Continuous Integration

A CI pipeline is setup in the private GitLab repository. It is composed of 4 stages:

1. Static analysis: for now there is only one job in the stage that compiles the documentation.

2. Build: this stage compiles FMDT on various compilers and with various compiler definitions.

3. Test: regression tests and memory leaks tests are performed.

4. 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).