Mise en hypothèse de la précondition d'une opération appelée (#2489) · Issues · pub / frama-c