[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 0/6] Updates for Coverity modeling file
|
From: |
Markus Armbruster |
|
Subject: |
Re: [PATCH 0/6] Updates for Coverity modeling file |
|
Date: |
Tue, 03 Aug 2021 08:04:51 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Paolo Bonzini <pbonzini@redhat.com> writes:
[...]
> This series is a sort of FYI; since the only way to debug the model file
> is to upload it to scan.coverity.com, these changes are all already live.
When I mess with Coverity, I test with my locally installed version
first. Version skew and lack of the web interface can make that less
than useful sometimes.
This is not criticism of your work flow.
> The last will be as of the next build, but was effective last Thursday
> and worked (I tried disabling it on Friday in something like a bisection,
> but it failed and I have now reverted to Thursday's model).