}
}
-
+ i=0;
while(1) {
m_task_t task = NULL;
int a;
{
{ /* Simulation setting */
MSG_set_channel_number(MAX_CHANNEL);
+ MSG_paje_output("msg_test.trace");
MSG_create_environment(platform_file);
}
{ /* Application deployment */
MSG_launch_application(application_file);
}
MSG_main();
- printf("Simulation time %Lg\n",MSG_getClock());
+ printf("Simulation time %g\n",MSG_getClock());
}