RTE does not generate assertions for non initialized arguments (#2050) · Issues · pub / frama-c