Hi Vladimir, On 07.06.2017 17:44, Vladimir Kozlov wrote: > guarantee() check is generated in product build. Sure but I meant that all this code is only available in debug builds (see "#ifndef PRODUCT") and I thought parfait is only used to scan product builds. Thanks, Tobias