test_printf_stderr
test_printf_stderr("%s: %d\n", "counter", counter);
return test_printf_stderr("%s", str);
test_printf_stderr("Invalid -%s value "
test_printf_stderr("-%s option is not valid for test %d:%s\n",
test_printf_stderr("Invalid -%s value for test %d:%s\t"
test_printf_stderr("%4u:- '%s'\n", cnt, b1);
test_printf_stderr("%4u:+ '%s'\n", cnt, b2);
test_printf_stderr("%4s %s\n", "", bdiff);
test_printf_stderr("\n");
test_printf_stderr(" %*s\n", bn_chars + 6, "bit position");
test_printf_stderr("%c%*s%s\n", sep, bn_chars, v, suf);
test_printf_stderr("--- %s\n", left);
test_printf_stderr("+++ %s\n", right);
test_printf_stderr("WARNING: these BIGNUMs have been truncated\n");
test_printf_stderr("%4s %c NULL\n", "", c);
test_printf_stderr(" %s:% 5d\n", n2 > n1 ? b2 : b1, cnt);
test_printf_stderr("-%s\n", b1);
test_printf_stderr("-%s:% 5d\n", b1, cnt);
test_printf_stderr("+%s\n", b2);
test_printf_stderr("+%s:% 5d\n", b2, cnt);
test_printf_stderr(" %s\n", bdiff);
test_printf_stderr("%4u:%c ''\n", 0u, c);
test_printf_stderr("\n");
test_printf_stderr("\n");
test_printf_stderr("bignum: '%s' = %s\n", name,
test_printf_stderr("bignum: '%s' = %s0x%s\n", name,
test_printf_stderr("%4s %c%s\n", "", c, "NULL");
test_printf_stderr("%04x %c%s\n", 0u, c, "empty");
test_printf_stderr("%04x: %s\n", cnt, b1);
test_printf_stderr("%04x:-%s\n", cnt, b1);
test_printf_stderr("%04x:+%s\n", cnt, b2);
test_printf_stderr("%4s %s\n", "", bdiff);
test_printf_stderr("\n");
test_printf_stderr("%4u: '%s'\n", cnt, n2 > n1 ? b2 : b1);
test_printf_stderr("Global init failed - aborting\n");
test_printf_stderr("Warning ignored command-line argument %d: %s\n",
test_printf_stderr("Warning arguments %d and later unchecked\n", i);
int test_printf_stderr(const char *fmt, ...)
test_printf_stderr("\n");
test_printf_stderr("\n");
test_printf_stderr("\n");
test_printf_stderr("\n");
test_printf_stderr("%s: ", prefix != NULL ? prefix : "ERROR");
test_printf_stderr("(%s) ", type);
test_printf_stderr("'%s %s %s' failed", left, op, right);
test_printf_stderr("'%s'", op);
test_printf_stderr(" @ %s:%d", file, line);
test_printf_stderr("\n");
test_printf_stderr("\n");