config.h

Go to the documentation of this file.

#ifndef CONFIG_CMAKE_DEFINE_H__
#define CONFIG_CMAKE_DEFINE_H__

/* #undef VERILOG_IN_ENABLE */

/* #undef Z3_LEGACY_API */

/* #undef SYNTH_INTERFACE */

/* #undef COVERITY */

#define INVSYN_INTERFACE

/* #undef SMTSWITCH_INTERFACE */

/* #undef SMTSWITCH_BTOR_FOUND */

/* #undef SMTSWITCH_CVC4_FOUND */

/* #undef SMTSWITCH_MSAT_FOUND */

/* #undef SMTSWITCH_YICES2_FOUND */

// #define FS_INCLUDE

#endif // CONFIG_CMAKE_DEFINE_H__