cover.hpp File Reference

#include "global.h"

Include dependency graph for cover.hpp:

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

Go to the source code of this file.

Macros
#define	COVER(COND)

Macro Definition Documentation

COVER

#define COVER

(

COND

)

Value:

  do { \
    if (!(COND)) \
      break; \
    fprintf (stderr, \
             "%scadical%s: %s:%d: %s: Coverage goal %s`%s'%s reached.\n", \
             terr.bold_code (), terr.normal_code (), __FUNCTION__, \
             __LINE__, __FILE__, terr.green_code (), #COND, \
             terr.normal_code ()); \
    fflush (stderr); \
    abort (); \
  } while (0)

Definition at line 23 of file cover.hpp.

#define COVER(COND) \
  do { \
    if (!(COND)) \
      break; \
    fprintf (stderr, \
             "%scadical%s: %s:%d: %s: Coverage goal %s`%s'%s reached.\n", \
             terr.bold_code (), terr.normal_code (), __FUNCTION__, \
             __LINE__, __FILE__, terr.green_code (), #COND, \
             terr.normal_code ()); \
    fflush (stderr); \
    abort (); \
  } while (0)