Searched refs:mc_expensive_sanity_check (Results 1 – 1 of 1) sorted by relevance
5907 static Bool mc_expensive_sanity_check ( void ) in mc_expensive_sanity_check() function8193 mc_expensive_sanity_check); in mc_pre_clo_init()8266 tl_assert( mc_expensive_sanity_check() ); in mc_pre_clo_init()