/* Set to true if enable_model-checking is true */
#cmakedefine MMALLOC_WANT_OVERIDE_LEGACY @MMALLOC_WANT_OVERIDE_LEGACY@
#cmakedefine HAVE_MC @HAVE_MC@
/* Set to true if enable_model-checking is true */
#cmakedefine MMALLOC_WANT_OVERIDE_LEGACY @MMALLOC_WANT_OVERIDE_LEGACY@
#cmakedefine HAVE_MC @HAVE_MC@