E-ACSL: compilation fail: generated functions doesn't have static inline attributes (#308) · Issues · pub / frama-c