Lines Matching full:witness
922 * data/yacc.c: Use EXIT_SUCCESS as a witness for stdlib.h,926 * tests/regression.at: Tamper with the renamed witness.
