RTEMS big comment conventions

Andrew Butterfield Andrew.Butterfield at scss.tcd.ie
Fri Oct 23 11:02:03 UTC 2020

Hi Gedare,
  thanks for your analysis and comments!

> On 22 Oct 2020, at 17:22, Gedare Bloom <gedare at rtems.org> wrote:
> For standalone tools it is really your choice. We would prefer
> adoption of an easily maintained style consistent with some kind of
> sane default.

Given that Promela is based on C with the same comment syntax,
I am happy to adopt the RTEMS C/C++ comment standards for my files.

Andrew Butterfield     Tel: +353-1-896-2517     Fax: +353-1-677-2204
Lero at TCD, Head of Software Foundations & Verification Research Group
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20201023/fa1f51b3/attachment.html>

More information about the devel mailing list