Searched refs:mc_expensive_sanity_check (Results 1 – 1 of 1) sorted by relevance
5595 static Bool mc_expensive_sanity_check ( void ) in mc_expensive_sanity_check() function7753 mc_expensive_sanity_check); in mc_pre_clo_init()7826 tl_assert( mc_expensive_sanity_check() ); in mc_pre_clo_init()