#include "simgrid/simix.h"
#include "simgrid/modelchecker.h" /* our public interface (and definition of HAVE_MC) */
#include "xbt/automaton.h"
+#include "xbt/dynar.h"
#define STD_HEAP_SIZE 20480000 /* Maximum size of the system's heap */
extern char*_surf_mc_property_file; /* fixme: better location? */
+extern xbt_dynar_t mmalloc_ignore;
+
/********************************* Global *************************************/
void _mc_cfg_cb_reduce(const char *name, int pos);
void _mc_cfg_cb_checkpoint(const char *name, int pos);
msg_global->vms = xbt_swag_new(xbt_swag_offset(vm,all_vms_hookup));
if(MC_IS_ENABLED){
- /* Create list of elements to ignore for heap comparison algorithm */
- MC_ignore_init();
/* Ignore total amount of messages sent during the simulation for heap comparison */
MC_ignore(&(msg_global->sent_msg), sizeof(msg_global->sent_msg));
-
}
/* initialization of the action module */
#include "smx_private.h"
#include "xbt/parmap.h"
+#include "mc/mc.h"
#ifdef HAVE_VALGRIND_VALGRIND_H
# include <valgrind/valgrind.h>
*/
void SIMIX_ctx_raw_factory_init(smx_context_factory_t *factory)
{
+
+ if(MC_IS_ENABLED && mmalloc_ignore == NULL){
+ /* Create list of elements to ignore for heap comparison algorithm */
+ MC_ignore_init();
+ }
+
XBT_VERB("Using raw contexts. Because the glibc is just not good enough for us.");
smx_ctx_base_factory_init(factory);