Searched refs:rank_inclusive (Results 1 – 2 of 2) sorted by relevance
156 witness_rank_t rank_inclusive, unsigned depth);233 witness_rank_t rank_inclusive, unsigned depth) { in witness_assert_depth_to_rank() argument253 if (w->rank < rank_inclusive) { in witness_assert_depth_to_rank()260 witness_depth_error(witnesses, rank_inclusive, depth); in witness_assert_depth_to_rank()
51 witness_rank_t rank_inclusive, unsigned depth) { in witness_depth_error_impl() argument55 (depth != 1) ? "s" : "", rank_inclusive); in witness_depth_error_impl()