ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
cover.h
Go to the documentation of this file.
1#ifndef _cover_h_INCLUDED
2#define _cover_h_INCLUDED
3
4#include <stdio.h>
5#include <stdlib.h>
6
7#include "global.h"
9
10#define COVER(COND) \
11 ((COND) ? \
12\
13 (fflush (stdout), \
14 fprintf (stderr, "%s:%ld: %s: Coverage goal `%s' reached.\n", \
15 __FILE__, (long) __LINE__, __func__, #COND), \
16 abort (), (void) 0) \
17 : (void) 0)
18
19#ifdef COVERAGE
20#define FLUSH_COVERAGE() \
21 do { \
22 void __gcov_dump (void); \
23 __gcov_dump (); \
24 } while (0)
25#else
26#define FLUSH_COVERAGE() \
27 do { \
28 } while (0)
29#endif
30
32
33#endif
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.