Compilation fails after E-ACSL plugin with -g option (#13) · Issues · pub / frama-c