Searched defs:error_matches_suppression (Results 1 – 2 of 2) sorted by relevance
1355 Bool HG_(error_matches_suppression) ( const Error* err, const Supp* su ) in HG_() argument
1393 Bool MC_(error_matches_suppression) ( const Error* err, const Supp* su ) in MC_() argument