One \valid seems sufficient to write in a whole array. (#169) · Issues · pub / frama-c