Any number of ";" should be allowed in specifications (#2240) · Issues · pub / frama-c