#include "msg/msg.h"
#include "xbt/log.h"
#include "xbt/asserts.h"
+#include "mc/modelchecker.h"
XBT_LOG_NEW_DEFAULT_CATEGORY(msg_chord,
"Messages specific for this msg example");
int node(int argc, char *argv[])
{
double init_time = MSG_get_clock();
- m_task_t task = NULL;
+ /*m_task_t task = NULL;*/
m_task_t task_received = NULL;
msg_comm_t comm_send = NULL;
int i;
}
// clean unfinished comms sent
- unsigned int cursor;
+ /* unsigned int cursor;
xbt_dynar_foreach(node.comms, cursor, comm_send) {
task = MSG_comm_get_task(comm_send);
MSG_task_cancel(task);
MSG_task_destroy(task);
MSG_comm_destroy(comm_send);
// FIXME: the task is actually not destroyed because MSG thinks that the other side (whose process is dead) is still using it
- }
+ }*/
// leave the ring
leave(&node);
DEBUG1("Received a task (%p)", task_received);
task_data_t ans_data = MSG_task_get_data(task_received);
+ MC_assert(task_received == task_sent);
+
if (task_received != task_sent) {
// this is not the expected answer
handle_task(node, task_received);
m_task_t task_received = MSG_comm_get_task(node->comm_receive);
task_data_t ans_data = MSG_task_get_data(task_received);
+ MC_assert(task_received == task_sent);
+
if (task_received != task_sent) {
handle_task(node, task_received);
}