WIP: test case for -remove-redundant-alarms

Pour test de performance.

Avec -no-eva-remove-redundant-alarms (actuellement dans le Makefile), l'analyse prend moins d'une minute.

Si on enlève cette option, ça prend > 24 min (j'ai arrêté l'analyse ; mon test précédent semblait indiquer >100 minutes).

À modifier bzip2-1.0.6/.frama-c/GNUmakefile et relancer make eva dans bzip2-1.0.6/.frama-c pour comparer.

assigned to @buhler

Combien d'alarmes ont été générées sans la suppression des alarmes redondantes ?

Pour chaque alarme, il y correspond un ensemble d'instructions pouvant contenir une alarme redondante (c'est fonction de l'effet des instructions placé entre celles à prendre considération et celle où l'on désire placer la nouvelle alarme).
Il faudrait donc connaître le temps mis à rechercher ces instructions ainsi que celui de la comparaison proprement dite.