Searched refs:mc_expensive_sanity_check (Results 1 – 1 of 1) sorted by relevance
4664 static Bool mc_expensive_sanity_check ( void ) in mc_expensive_sanity_check() function6165 mc_expensive_sanity_check); in mc_pre_clo_init()6283 tl_assert( mc_expensive_sanity_check() ); in mc_pre_clo_init()