<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi Gedare,<div class=""> thanks for your analysis and comments!<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 22 Oct 2020, at 17:22, Gedare Bloom <<a href="mailto:gedare@rtems.org" class="">gedare@rtems.org</a>> wrote:</div><div class=""><div class=""><br class="">For standalone tools it is really your choice. We would prefer<br class="">adoption of an easily maintained style consistent with some kind of<br class="">sane default.<br class=""></div></div></blockquote></div><div class=""><br class=""></div>Given that Promela is based on C with the same comment syntax,</div><div class="">I am happy to adopt the RTEMS C/C++ comment standards for my files.</div><div class=""><br class=""></div><div class="">Regards, </div><div class=""> Andrew<br class=""><div class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">--------------------------------------------------------------------<br class="">Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204<br class="">Lero@TCD, Head of Software Foundations & Verification Research Group<br class="">School of Computer Science and Statistics,<br class="">Room G.39, O'Reilly Institute, Trinity College, University of Dublin<br class=""> <a href="http://www.scss.tcd.ie/Andrew.Butterfield/" class="">http://www.scss.tcd.ie/Andrew.Butterfield/</a><br class="">--------------------------------------------------------------------</div>
</div>
<br class=""></div></body></html>