Searched refs:witness_comp_reverse (Results 1 – 1 of 1) sorted by relevance
52 witness_comp_reverse(const witness_t *a, const witness_t *b) in witness_comp_reverse() function114 witness_init(&c, "c", 1, witness_comp_reverse); in TEST_BEGIN()