error message "unknown identifier 'xxx'" causes Frama-C to forget previous more severe errors (#833) · Issues · pub / frama-c