global.h File Reference

#include "misc/util/abc_global.h"

Include dependency graph for global.h:

Go to the source code of this file.

Macros
#define	KISSAT_NDEBUG
#define	KISSAT_COMPACT
#define	KISSAT_NOPTIONS
#define	KISSAT_NPROOFS
#define	KISSAT_QUIET
#define	KISSAT_assert(ignore)

Macro Definition Documentation

KISSAT_assert

#define KISSAT_assert

(

ignore

)

Value:

((void)0)

Definition at line 13 of file global.h.

KISSAT_COMPACT

#define KISSAT_COMPACT

Definition at line 7 of file global.h.

KISSAT_NDEBUG

#define KISSAT_NDEBUG

Definition at line 5 of file global.h.

KISSAT_NOPTIONS

#define KISSAT_NOPTIONS

Definition at line 8 of file global.h.

KISSAT_NPROOFS

#define KISSAT_NPROOFS

Definition at line 9 of file global.h.

KISSAT_QUIET

#define KISSAT_QUIET

Definition at line 10 of file global.h.