Lines Matching refs:witness_init
71 witness_init(&a, "a", 1, NULL, NULL);
76 witness_init(&b, "b", 2, NULL, NULL);
99 witness_init(&a, "a", 1, witness_comp, &a);
104 witness_init(&b, "b", 1, witness_comp, &b);
114 witness_init(&c, "c", 1, witness_comp_reverse, &c);
123 witness_init(&d, "d", 1, NULL, NULL);
153 witness_init(&a, "a", 1, NULL, NULL);
154 witness_init(&b, "b", 2, NULL, NULL);
189 witness_init(&a, "a", 1, NULL, NULL);
223 witness_init(&a, "a", 1, NULL, NULL);
250 witness_init(&a, "a", 1, NULL, NULL);