We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Tps du l'UE certification du logiciel
Use frama-c :
$ rm -f ~/.why3.conf ; why3 config detect $ frama-c -rte -wp toto.c