Searched refs:rank_inclusive (Results 1 – 3 of 3) sorted by relevance
155 witness_rank_t rank_inclusive, unsigned depth);232 witness_rank_t rank_inclusive, unsigned depth) { in witness_assert_depth_to_rank() argument252 if (w->rank < rank_inclusive) { in witness_assert_depth_to_rank()259 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()
31 witness_rank_t rank_inclusive, unsigned depth) { in witness_depth_error_intercept() argument