19
19
xbt_os_timer_t timer = xbt_os_timer_new();
21
/* initialization of SD */
21
/* initialization of SD */
24
/* creation of the environment, timed */
25
xbt_os_timer_start(timer);
26
SD_create_environment(argv[1]);
24
/* creation of the environment, timed */
25
xbt_os_timer_start(timer);
26
SD_create_environment(argv[1]);
27
27
xbt_os_timer_stop(timer);
29
29
/* Display the result and exit after cleanup */
30
printf( "%lf\n", xbt_os_timer_elapsed(timer) );
31
printf("Workstation number: %d, link number: %d\n",
32
SD_workstation_get_number(), SD_link_get_number());
34
printf("Wait for %ss\n",argv[2]);
30
printf( "%lf\n", xbt_os_timer_elapsed(timer) );
31
printf("Workstation number: %d, link number: %d\n",
32
SD_workstation_get_number(), SD_link_get_number());
34
printf("Wait for %ss\n",argv[2]);