On Wed, Jan 27, 2021 at 1:10 PM Gedare Bloom wrote:
> Super, let's do it. Changing it is a manual process. So whoever pushes the
> file in the tools repo should also be responsible to make sure it gets
> uploaded. I'm willing to do the upload on-demand.
>
+1
It would also be nice to add some mo
Super, let's do it. Changing it is a manual process. So whoever pushes the
file in the tools repo should also be responsible to make sure it gets
uploaded. I'm willing to do the upload on-demand.
(Apparently the last coverity build failed.)
On Wed, Jan 27, 2021 at 11:17 AM Sebastian Huber <
seba
Hi Sebastian,
On Fri, Jul 19, 2019 at 2:57 AM Sebastian Huber
wrote:
>
> Hello,
>
> you can add a model file to Coverity to reduce the false positive rate
> of the static analysis. I didn't check that the RTEMS scan can profit
> from this since we already supply a lot of code to the scan. What I
