model-checker : use separate configuration flags for comm determinism and send determ...

[simgrid.git] / src / include / mc / datatypes.h

diff --git a/src/include/mc/datatypes.h b/src/include/mc/datatypes.h
index d9095c0..baeb22d 100644 (file)
--- a/src/include/mc/datatypes.h
+++ b/src/include/mc/datatypes.h
@@ -6,6 +6,9 @@
 
 #ifndef MC_DATATYPE_H
 #define MC_DATATYPE_H
+
+#define UNW_LOCAL_ONLY
+
 #include "xbt/misc.h"
 #include "xbt/swag.h"
 #include "xbt/fifo.h"
@@ -61,6 +64,7 @@ struct s_dw_type{
   int is_pointer_type;
   int offset;
   dw_type_t subtype;
+  dw_type_t other_object_same_type; // The same (but more complete) type in the other object.
 };
 
 char* get_type_description(mc_object_info_t info, char *type_name);