Searched refs:mc_expensive_sanity_check (Results 1 – 1 of 1) sorted by relevance
5073 static Bool mc_expensive_sanity_check ( void ) in mc_expensive_sanity_check() function6903 mc_expensive_sanity_check); in mc_pre_clo_init()6971 tl_assert( mc_expensive_sanity_check() ); in mc_pre_clo_init()