An option to return error code if there are any problems with the analysis, so that frama-c is easier to be used in CI/CD workflows
Feature Request
-
the issue has not yet been reported on Gitlab; -
the issue has not yet been reported on our old BTS (note: the old BTS is deprecated); -
you installed Frama-C as prescribed in the instructions.
Contextual information
- Frama-C installation mode: Docker: framac/frama-c:22.0
- Frama-C version: 22.0
- Plug-in used: WP and EVA
- OS name: macOS
- OS version: 11.1
Steps to reproduce the issue
I put frama-c in a BitBucket CI pipeline. With calling directly frama-c executable. CI pipelines fail when error code returned from executables is different than 0. That way it stops you from pushing erroneous code.
Expected behaviour
It would be great if there is an option so that frama-c executable return non-zero error code if in EVA found any error in my code, or in WP not all conditions are met.
Actual behaviour
frama-c return 0 even if EVA show errors from the analysed code. It returns 0 if WP have found non correct behaviour also.