CBMC
qbf_core.h File Reference

Go to the source code of this file.

Macros

#define QBF_CORE_NONE
 

Macro Definition Documentation

◆ QBF_CORE_NONE

#define QBF_CORE_NONE

Definition at line 17 of file qbf_core.h.