cover.h File Reference

#include <stdio.h>
#include <stdlib.h>
#include "global.h"

Include dependency graph for cover.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	COVER(COND)
#define	FLUSH_COVERAGE()

Macro Definition Documentation

COVER

#define COVER

(

COND

)

Value:

  ((COND) ? \
\
          (fflush (stdout), \
           fprintf (stderr, "%s:%ld: %s: Coverage goal `%s' reached.\n", \
                    __FILE__, (long) __LINE__, __func__, #COND), \
           abort (), (void) 0) \
          : (void) 0)

Definition at line 10 of file cover.h.

#define COVER(COND) \
  ((COND) ? \
\
          (fflush (stdout), \
           fprintf (stderr, "%s:%ld: %s: Coverage goal `%s' reached.\n", \
                    __FILE__, (long) __LINE__, __func__, #COND), \
           abort (), (void) 0) \
          : (void) 0)

FLUSH_COVERAGE

#define FLUSH_COVERAGE

(

)

Value:

  do { \
  } while (0)

Definition at line 26 of file cover.h.

#define FLUSH_COVERAGE() \
  do { \
  } while (0)