_
val approximation_feedback : bool
Should offsetmaps emit feedback messages when approximating the write of large memory locations?
Frama-C