On Mon, Oct 12, 2009 at 5:31 PM, Guenter Knauf wrote:
> Hi,
> in abts.c we have:
>
> void abts_ptr_notnull(abts_case *tc, const void *ptr, int lineno)
> {
> update_status();
> if (tc->failed) return;
>
> if (ptr != NULL) return;
>
> tc->failed = TRUE;
> if (verbose) {
> fprin
Hi,
in abts.c we have:
void abts_ptr_notnull(abts_case *tc, const void *ptr, int lineno)
{
update_status();
if (tc->failed) return;
if (ptr != NULL) return;
tc->failed = TRUE;
if (verbose) {
fprintf(stderr, "Line %d: Expected NULL, but saw <%p>\n",
lineno, ptr);