comparison of structures not implemented (#1909) · Issues · pub / frama-c