Re: [PATCH] coverity: physmem: use simple assertions instead of modelling

[Stefan Hajnoczi]

On Wed, 15 Feb 2023 at 15:22, Vladimir Sementsov-Ogievskiy
<vsement...@yandex-team.ru> wrote:
>
> ping
>
> [add Stefan]

I'm not familiar with the Coverity models. Peter Maydell is the maintainer.

Stefan