Skip to content

WIP: test case for -remove-redundant-alarms

Andre Maroneze requested to merge slow-remove-redundant-alarms into master

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.

Merge request reports