It is a file uploaded separately to coverity that indicates that some functions are assertions. They tell coverity that we are aware that the pointer that we use is assumed to be non null, for example.
JMarc Le 15 avril 2017 22:10:30 GMT+02:00, Tommaso Cucinotta <tomm...@lyx.org> a écrit : >On 24/03/2017 16:48, Jean-Marc Lasgouttes wrote: >> +++ b/development/coverity_modeling.cpp >> @@ -0,0 +1,13 @@ >> +// This file is a modeling file for coverity > >New to coverity: what does this mean ? does this file get compiled when >I type make ? >Having to add a .cpp file just to please a code checker sounds weird... > >Thanks, > > T.