--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on June 2015 ---
Hello all, I am very new to Frama-C. I have come up with my rules which I want to add in frama-c for my purpose. For example: No space shall be give between condition or loop(e.g. if, switch, for) and "(" No space shall be give between "(" and the start of the content inside the "()" No space shall be give between end of the content inside the "()" and ")" If given it should show warning in message that there is space between loop and ''('' So how should I begin with ? Thanks in advance. Regards Gaurav -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150602/e816bdc2/attachment.html>