/* Display the result and exit after cleanup */
printf( "%f\n", xbt_os_timer_elapsed(timer) );
printf("Workstation number: %d, link number: %d\n",
- SD_workstation_get_count(), SD_link_get_count());
+ SD_workstation_get_count(), sg_link_count());
if(argv[2]){
printf("Wait for %ss\n",argv[2]);
sleep(atoi(argv[2]));