--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on August 2015 ---
Dear FRAMA C Community, If the main function calls 3 -4 sub functions, then we are writing annotations for each sub function. Please clarify whether it is required to add the annotations of all the sub-functions while writing the annotations of the main function. How do we approach in this regard? Please clarify.