requires = "frama-c-metrics.gui"
