Hi Gedare,
thanks for your analysis and comments!
> On 22 Oct 2020, at 17:22, Gedare Bloom <ged...@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.
Regards,
Andrew
--------------------------------------------------------------------
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
Lero@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
http://www.scss.tcd.ie/Andrew.Butterfield/
--------------------------------------------------------------------
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
