<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=""><div class=""><br class=""></div> Everything in PETSc is open source and anyone is free to add/improve features. <div class=""><br class=""></div><div class=""> The only issue is that verifying the code is ok must be quick, if there are errors it is fine that the rule takes more time to nicely print out details of the problem.<div class=""><br class=""></div><div class=""> Barry</div><div class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Sep 24, 2020, at 12:25 PM, Junchao Zhang <<a href="mailto:junchao.zhang@gmail.com" class="">junchao.zhang@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">It is better the tool can also print out line and column numbers and reasons why it is wrong.<div class=""><br clear="all" class=""><div class=""><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr" class="">--Junchao Zhang</div></div></div><br class=""></div></div><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 24, 2020 at 11:16 AM Satish Balay via petsc-dev <<a href="mailto:petsc-dev@mcs.anl.gov" class="">petsc-dev@mcs.anl.gov</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">The relevant part:<br class="">
<br class="">
No space after if, for or while -----------------------------<br class="">
include/petscaijdevice.h<br class="">
<br class="">
Satish<br class="">
<br class="">
On Thu, 24 Sep 2020, Mark Adams wrote:<br class="">
<br class="">
> I have a failure here but I can't see what the problem is:<br class="">
> <br class="">
> <a href="https://gitlab.com/petsc/petsc/-/jobs/755956828" rel="noreferrer" target="_blank" class="">https://gitlab.com/petsc/petsc/-/jobs/755956828</a><br class="">
> <br class="">
> Am I missing something?<br class="">
> <br class="">
> Thanks,<br class="">
> Mark<br class="">
> <br class="">
<br class="">
</blockquote></div>
</div></blockquote></div><br class=""></div></div></body></html>