Invalid label with spaghetti code and E-ACSL full mmodel (#60) · Issues · pub / frama-c